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