__init__.cpython-312.pyc
test_boolalg.cpython-312.pyc
test_dimacs.cpython-312.pyc
test_inference.cpython-312.pyc