DONE choco solver