deleted binary choco solver project