libcryptominisat (conda): An advanced SAT Solver https://www.msoos.org
Keywords: cdcl-algorithm|cnf|cryptography|dpll|proof|sat-solver|verification|xor