two-watched-literals

Here is 1 public repository matching this topic...

7vik2005 / SATzillaX

SATzillaX is a high-performance CDCL SAT Solver built in C++17 featuring Two-Watched Literals, VSIDS branching heuristic, Phase Saving, Clause Learning, Non-Chronological Backtracking, and Geometric Restarts.

computer-science algorithms logic backtracking data-structures formal-methods cpp17 sat-solver boolean-satisfiability cdcl vsids constraint-solving two-watched-literals

Updated Jun 17, 2026
C++

Add this topic to your repo

To associate your repository with the two-watched-literals topic, visit your repo's landing page and select "manage topics."

Learn more