-
Notifications
You must be signed in to change notification settings - Fork 0
This is an implementation of vanilla CDCL SAT solver. Includes standard features but nothing above that. If you cannot beat any solver from the SAT competition but still want to beat someone, then vsat is your choice...
surynek/vsat
About
This is an implementation of vanilla CDCL SAT solver. Includes standard features but nothing above that. If you cannot beat any solver from the SAT competition but still want to beat someone, then vsat is your choice...
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published