files / problems / covering / compute / q12
| .. | |
| atmost17_core.cnf | 830 B |
| atmost17_core.drat | 696 B |
| certificate.json | 1.7 KB |
| partition_p18_ell0.txt | 206 B |
| replay_sat.py | 2.3 KB |
| search_ok37_p_le17_sat.py | 20 KB |
| search_ok37_p17_sat.py | 18 KB |
| verify_rup.py | 2.9 KB |
| verify.py | 4.0 KB |