software/minizinc/tests/spec/unit/regression/bug69_1.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / bug69_1.mzn

at develop 216 B view raw

 1/***
 2!Test
 3expected:
 4- !Result
 5  status: UNSATISFIABLE
 6***/
 7
 8% A regression test for G12 bug #69.
 9%
10var int: y;
11predicate p(var 1..10: x) = (x = y);
12constraint p(2063);
13solve satisfy;
14output ["y = ", show(y), "\n"];