~110 seconds for the 1000 sample benchmarks
1. CDCL
2. Sorting the input by frequency(NOTE: It may be slow for the uniform distributed case)
./run_benchmark.sh
-
Notifications
You must be signed in to change notification settings - Fork 1
kc885/SAT-Solver-with-CDCL
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Lightweight but fast SAT solver with input sorting and CDCL
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published