bscheibel 563c1cbd80 edi finished 4 years ago
..
__pycache__ 563c1cbd80 edi finished 4 years ago
__init__.py 563c1cbd80 edi finished 4 years ago
api.py 563c1cbd80 edi finished 4 years ago
discourse.py 563c1cbd80 edi finished 4 years ago
mace.py 563c1cbd80 edi finished 4 years ago
nonmonotonic.py 563c1cbd80 edi finished 4 years ago
prover9.py 563c1cbd80 edi finished 4 years ago
resolution.py 563c1cbd80 edi finished 4 years ago
tableau.py 563c1cbd80 edi finished 4 years ago