C

cryptominisat

A modern, multi-threaded, feature-rich, simplifying SAT solver

packages: cryptominisat