There are 1 repository under circuit-sat topic.
A fast SAT solver
Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics