cdcl-algorithm topic
List
cdcl-algorithm repositories
trafficstars
cryptominisat
798
Stars
180
Forks
Watchers
An advanced SAT solver
SatPie
20
Stars
4
Forks
Watchers
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
SAT-Solver-CDCL
15
Stars
5
Forks
Watchers
A simple SAT solver based on the CDCL algorithm
pysat
18
Stars
6
Forks
18
Watchers
Simple SAT solver with CDCL implemented in Python