dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / compilation / optimization_3.fzn
at develop 320 B view raw
1var 1..2: x:: output_var; 2var set of 1..10: y:: output_var; 3constraint set_in_reif(2,y,false); 4constraint bool_not(false,true); 5constraint set_in_reif(4,y,false); 6constraint set_in_reif(6,y,false); 7constraint set_in_reif(8,y,false); 8constraint set_in_reif(10,y,false); 9constraint set_in_reif(x,y,false); 10solve satisfy;