/ClaferChocoSoo

Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.

Primary LanguageJavaMIT LicenseMIT

Stargazers