__init__.cpython-312.pyc
api.cpython-312.pyc
discourse.cpython-312.pyc
mace.cpython-312.pyc
nonmonotonic.cpython-312.pyc
prover9.cpython-312.pyc
resolution.cpython-312.pyc
tableau.cpython-312.pyc