org.chocosolver.cutoffseq
