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