pycosat
test_pycosat