edusat topic
List
edusat repositories
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
