GitHub repository: rkamath3/chocosolver
Primary language: Java
Description: Alternative backend for Clafer using the Choco solver.