| Nombre | Tamaño | Última Modificación | Acciones |
|---|---|---|---|
| Directorio Superior | |||
| .. | - | 2023-06-19 18:34:18 | |
| __pycache__ | - | 2023-06-19 18:34:10 | |
| handlers | - | 2023-06-19 18:34:10 | |
| predicates | - | 2023-06-19 18:34:10 | |
| relation | - | 2023-06-19 18:34:10 | |
| tests | - | 2023-06-19 18:34:10 | |
| __init__.py | 550 B | 2023-06-19 18:34:10 | |
| ask.py | 18.36 KB | 2023-06-19 18:34:10 | |
| ask_generated.py | 16.68 KB | 2023-06-19 18:34:10 | |
| assume.py | 14.26 KB | 2023-06-19 18:34:10 | |
| cnf.py | 12.41 KB | 2023-06-19 18:34:10 | |
| facts.py | 7.43 KB | 2023-06-19 18:34:10 | |
| refine.py | 11.67 KB | 2023-06-19 18:34:10 | |
| satask.py | 11.02 KB | 2023-06-19 18:34:10 | |
| sathandlers.py | 9.21 KB | 2023-06-19 18:34:10 | |
| wrapper.py | 5.38 KB | 2023-06-19 18:34:10 | |