ballbox-first // 11.8 GiB free of 56.4 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | __pycache__/ | 4096 | 2026-05-06 02:02:55 |
| - | __init__.py | 0 | 2026-05-06 02:02:47 |
| - | test_boolalg.py | 49748 | 2026-05-06 02:02:47 |
| - | test_dimacs.py | 3886 | 2026-05-06 02:02:47 |
| - | test_inference.py | 16116 | 2026-05-06 02:02:47 |
| - | test_lra_theory.py | 16834 | 2026-05-06 02:02:47 |