GitHub repository: EthanJamesLew/chocosolver-sysml
Primary language: Java
Description: A backend for Clafer using the Choco4 solver... with SysMLv2 output