ballbox-first // 143 GiB free of 233 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | __pycache__/ | 4096 | 2026-04-11 14:34:16 |
| - | __init__.py | 0 | 2026-04-11 14:34:13 |
| - | test_boolalg.py | 49748 | 2026-04-11 14:34:13 |
| - | test_dimacs.py | 3886 | 2026-04-11 14:34:13 |
| - | test_inference.py | 16116 | 2026-04-11 14:34:13 |
| - | test_lra_theory.py | 16834 | 2026-04-11 14:34:13 |