Alternative backend for Clafer using the Choco solver.