A backend for Clafer using the Choco4 solver... with SysMLv2 output
Primary LanguageJavaMIT LicenseMIT