Moved the choco solver into a subfolder