YASAT is a SAT solver that implements CDCL using only the C++ standard library and does not have any external dependency.
./build.sh
cat ./data/php_2p_3h.cnf | ./build/yasat
SAT [1, 1, 0, 0, 0, 1]
-
Notifications
You must be signed in to change notification settings - Fork 0
Yet Another SAT Solver
License
yousfiSaad/yasat
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Yet Another SAT Solver
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published