An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants
Primary LanguagePython