circuit-sat

There are 1 repository under circuit-sat topic.

go-air / gini
A fast SAT solver
artificial-intelligence boolean-formulas circuit-sat concurrent dependencies fuzzing logic-circuit logic-programming resolution sat-solver testing verification
Language:Go 148
Danila-Pechenev / circuit-sat-minisat
Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics
circuit-sat sat sat-solver boolean-circuits circuit circuit-satisfiability circuit-sat-solver
Language:C++ 2