dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / globals / roots / test_roots2.mzn
at develop 226 B view raw
1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3include "roots.mzn"; 4 5var set of 1..5: s; 6var set of 1..5: t; 7 8constraint roots([1, 3, 1, 2, 3], s, t); 9 10solve satisfy; 11 12output [ 13 "s = ", show(s), ";\n", 14 "t = ", show(t), ";\n" 15];