| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| __pycache__/ | - | 2025-Nov-21 12:26 |
| util.py | 8.5 KiB | 2025-Nov-21 12:26 |
| skolemize.py | 5.6 KiB | 2025-Nov-21 12:26 |
| relextract.py | 14.9 KiB | 2025-Nov-21 12:26 |
| logic.py | 66.6 KiB | 2025-Nov-21 12:26 |
| linearlogic.py | 16.4 KiB | 2025-Nov-21 12:26 |
| lfg.py | 7.3 KiB | 2025-Nov-21 12:26 |
| hole.py | 13.5 KiB | 2025-Nov-21 12:26 |
| glue.py | 28.7 KiB | 2025-Nov-21 12:26 |
| evaluate.py | 24.8 KiB | 2025-Nov-21 12:26 |
| drt_glue_demo.py | 18.2 KiB | 2025-Nov-21 12:26 |
| drt.py | 50.5 KiB | 2025-Nov-21 12:26 |
| cooper_storage.py | 4.0 KiB | 2025-Nov-21 12:26 |
| chat80.py | 25.1 KiB | 2025-Nov-21 12:26 |
| boxer.py | 52.5 KiB | 2025-Nov-21 12:26 |
| __init__.py | 2.3 KiB | 2025-Nov-21 12:26 |