Automatized proof of NP-complexity of 2D locally-dependant problems
Primary LanguageJavaMIT LicenseMIT