issues
search
leanprover
/
leansat
This package provides an interface and foundation for verified SAT reasoning
Apache License 2.0
49
stars
6
forks
source link
chore: cleanup
#101
Closed
hargoniX
closed
4 months ago
hargoniX
commented
4 months ago
This mostly consists of refactors to:
remove unused code
improve the import graph
generalize the bitblaster over the type of AIG variables for future refactors.
This mostly consists of refactors to: