GitHub topics: circuit-sat
go-air/gini
A fast SAT solver
Language: Go - Size: 583 KB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 148 - Forks: 16
Danila-Pechenev/circuit-sat-minisat Fork of niklasso/minisat
Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics
Language: C++ - Size: 38.2 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
