A backend for Clafer using the Choco4 solver. - View it on GitHub