public void test21() {
Solver solver = new Solver("Choco");
IntVar v = VF.enumerated("v", 1, 4, solver);
IntVar w = VF.enumerated("v", 1, 2, solver);
IntVar x = VF.enumerated("v", 0, 3, solver);
solver.post(new Constraint("times", new PropTimesNaive(v, w, x)));
Solver copy = solver.duplicateModel();
solver.findAllSolutions();
copy.findAllSolutions();