https://github.com/poyea/whetstone
A CDCL SAT solver in C++23
https://github.com/poyea/whetstone
cdcl cdcl-algorithm cdcl-solver cpp cpp17 cpp20 cpp23 sat-solver
Last synced: 9 days ago
JSON representation
A CDCL SAT solver in C++23
- Host: GitHub
- URL: https://github.com/poyea/whetstone
- Owner: poyea
- License: mit
- Created: 2026-02-07T00:52:58.000Z (5 months ago)
- Default Branch: main
- Last Pushed: 2026-04-12T23:56:09.000Z (2 months ago)
- Last Synced: 2026-04-13T01:22:21.946Z (2 months ago)
- Topics: cdcl, cdcl-algorithm, cdcl-solver, cpp, cpp17, cpp20, cpp23, sat-solver
- Language: C++
- Homepage:
- Size: 59.6 KB
- Stars: 1
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.txt
- License: LICENSE
Awesome Lists containing this project
README
benchmark answer time confl dec prop rst
---------------------------------------------------------------------------------------------
color-v10-e15-k3.cnf SAT 0.001s 0 4 30 1
php-10-9.cnf TO 30.0s
php-6-5.cnf UNSAT 0.005s 139 163 1.6K 1
php-7-6.cnf UNSAT 0.007s 856 1.0K 11.6K 1
php-8-7.cnf UNSAT 0.073s 11.2K 14.3K 135.8K 131
php-9-8.cnf UNSAT 1.561s 289.8K 430.5K 4.2M 4856
queens-10.cnf SAT 0.003s 37 52 761 1
queens-12.cnf SAT 0.004s 67 89 1.4K 1
queens-8.cnf SAT 0.003s 8 12 190 1
random-3sat-sat-100.cnf SAT 0.001s 2 54 171 1
random-3sat-sat-200.cnf SAT 0.002s 41 113 1.5K 1
random-3sat-sat-50.cnf SAT 0.001s 9 28 188 1
random-3sat-thresh-100.cnf SAT 0.002s 18 46 394 1
random-3sat-thresh-150.cnf UNSAT 0.022s 3.0K 3.4K 92.6K 1
random-3sat-thresh-200.cnf SAT 0.132s 17.4K 23.2K 693.6K 261
random-3sat-thresh-50.cnf SAT 0.002s 41 62 656 1
---------------------------------------------------------------------------------------------
solved: 15/16 total time: 1.819s