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