Kapilhk / SatPieLinks

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
20Updated 4 years ago

Alternatives and similar repositories for SatPie

Users that are interested in SatPie are comparing it to the libraries listed below

Sorting: