| .. | |
| q3/ | |
| q4/ | |
| audit_q2_residue.py | 3.4 KB |
| near_1697_two_violations.txt | 0 B |
| q1-search-log.json | 2.3 KB |
| q2_alternate_template_search.py | 17 KB |
| q2_exact_sat.py | 5.9 KB |
| q2_seed_cegar.py | 11 KB |
| repair_near_coloring.py | 5.2 KB |
| search_almost_symmetric_pysat.py | 10 KB |
| search_orbit_minconflicts.py | 9.1 KB |
| search_seed_multipliers.py | 6.0 KB |
| search_shifted_sat.py | 7.1 KB |
| verify_coloring.py | 2.4 KB |