SAT solver in Go. Satie follows the MiniSAT design:
Niklas Een and Niklas Sörensson. An Extensible SAT-solver. SAT, 2003.
-
Notifications
You must be signed in to change notification settings - Fork 0
SAT solver in Go
License
vasilisp/satie
About
SAT solver in Go
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published