GitHub repository: GaloisInc/chocosolver
Description: A backend for Clafer using the Choco4 solver.