ballbox-first // 143 GiB free of 233 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | __pycache__/ | 4096 | 2026-04-11 14:34:14 |
| zip | handlers/ | 4096 | 2026-04-11 14:34:14 |
| zip | predicates/ | 4096 | 2026-04-11 14:34:14 |
| zip | relation/ | 4096 | 2026-04-11 14:34:14 |
| zip | tests/ | 4096 | 2026-04-11 14:34:14 |
| - | __init__.py | 550 | 2026-04-11 14:34:12 |
| - | ask.py | 19376 | 2026-04-11 14:34:12 |
| - | ask_generated.py | 23558 | 2026-04-11 14:34:12 |
| - | assume.py | 14606 | 2026-04-11 14:34:12 |
| - | cnf.py | 12509 | 2026-04-11 14:34:12 |
| - | facts.py | 8391 | 2026-04-11 14:34:12 |
| - | lra_satask.py | 9563 | 2026-04-11 14:34:12 |
| - | refine.py | 11946 | 2026-04-11 14:34:12 |
| - | satask.py | 11745 | 2026-04-11 14:34:12 |
| - | sathandlers.py | 9418 | 2026-04-11 14:34:12 |
| - | wrapper.py | 5434 | 2026-04-11 14:34:12 |