millisat A single-file Python CDCL SAT solver. Targets Python 3.7 or later. Run quick tests with ./script/test.sh or longer tests with ./script/test.sh -dmedium.