kapilhk / satpie Goto Github PK
View Code? Open in Web Editor NEWSAT 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
License: GNU General Public License v3.0