/metadynamic-programming

Automatized proof of NP-complexity of 2D locally-dependant problems

Primary LanguageJavaMIT LicenseMIT

Stargazers

No one’s star this repository yet.