Added choco solver package