SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
python
jupyter-notebook
python3
sat-solver
cdcl-algorithm
minisat
sat
satisfiability
cdcl
vsids
edusat
-
Updated
Sep 16, 2020 - Jupyter Notebook