Pinned Repositories
SAT-solver
The SAT solver checks if the given CNF formula evaluates to true for some arbitrary input combinations.
SatPie
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
steven-del's Repositories
steven-del/SAT-solver
The SAT solver checks if the given CNF formula evaluates to true for some arbitrary input combinations.
steven-del/SatPie
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