org.cpsolver.ifs.example