| Nombre | Tamaño | Última Modificación | Acciones |
|---|---|---|---|
| Directorio Superior | |||
| .. | - | 2025-05-07 13:56:03 | |
| __pycache__ | - | 2025-05-07 13:56:03 | |
| handlers | - | 2025-05-07 13:56:03 | |
| predicates | - | 2025-05-07 13:56:03 | |
| relation | - | 2025-05-07 13:56:03 | |
| tests | - | 2025-05-07 13:56:03 | |
| __init__.py | 550 B | 2025-05-07 13:56:03 | |
| ask.py | 18.92 KB | 2025-05-07 13:56:03 | |
| ask_generated.py | 23.01 KB | 2025-05-07 13:56:03 | |
| assume.py | 14.26 KB | 2025-05-07 13:56:03 | |
| cnf.py | 12.22 KB | 2025-05-07 13:56:03 | |
| facts.py | 8.19 KB | 2025-05-07 13:56:03 | |
| lra_satask.py | 9.34 KB | 2025-05-07 13:56:03 | |
| refine.py | 11.67 KB | 2025-05-07 13:56:03 | |
| satask.py | 11.47 KB | 2025-05-07 13:56:03 | |
| sathandlers.py | 9.20 KB | 2025-05-07 13:56:03 | |
| wrapper.py | 5.31 KB | 2025-05-07 13:56:03 | |