SatPie icon indicating copy to clipboard operation
SatPie copied to clipboard

Published 20 hours ago • verified publisher icon Kapilhk
→

Metadata

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

Results 0 SatPie issues
Sort by recently updated
recently updated
newest added

← Metadata

20
Stars
4
Forks
Watchers

Owner

verified publisher icon Kapilhk

Metadata

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

Back