files / problems / schur / compute / q3

..
analyze_rowley_extension.py2.6 KB
audit_near.py1.8 KB
extract_rowley_xls.py2.6 KB
near_1697_two_violations.txt3.3 KB
q3_search_summary.json1.9 KB
README.md3.1 KB
repair_cegar_seed22.json4.1 KB
repair_cegar.py8.0 KB
repair_full_sat_seed22.json2.9 KB
repair_full_sat.py5.9 KB
rowley_1696.txt3.3 KB
rowley_extension_audit.json4.7 KB
run_all.sh706 B
search_twisted_reflection.py6.9 KB
search_unrestricted.c16 KB
twisted_reflection_glucose42.json652 B

This folder on GitHub