cryptominisat5

Link package | bugs open | bugs closed | Wiki | GitHub | web search
Description A modern, multi-threaded, feature-rich, simplifying SAT solver
Version 5.6.8-4 [community]

No issues