Cryptominisat is an advanced SAT solver. The system has
command-line, C++ library and Python interfaces.
