Experimental code and results for the paper titled "Understanding VSIDS Branching Heuristic in CDCL SAT Solvers"
ezulkosk/vsids
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- C++ 95.6%
- Makefile 2.6%
- C 1.7%
- Python 0.1%