pycryptosat (pypi): Bindings to CryptoMiniSat, an advanced SAT solver
Keywords: sat|cryptography|cdcl-algorithm|cnf|dpll|proof|sat-solver|verification|xor