![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | __pycache__/ | 2021-10-22 16:01 | - | |
![]() | __init__.py | 2021-10-22 16:01 | 785 | |
![]() | mace.py | 2021-10-22 16:01 | 12K | |
![]() | prover9.py | 2021-10-22 16:01 | 15K | |
![]() | nonmonotonic.py | 2021-10-22 16:01 | 18K | |
![]() | api.py | 2021-10-22 16:01 | 18K | |
![]() | discourse.py | 2021-10-22 16:01 | 22K | |
![]() | tableau.py | 2021-10-22 16:01 | 25K | |
![]() | resolution.py | 2021-10-22 16:01 | 25K | |