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

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / general / test_negated_let_good.mzn

at develop 254 B view raw

 1/***
 2!Test
 3expected:
 4- !Result
 5  status: SATISFIED
 6  solution: !Solution
 7    x: 1
 8- !Result
 9  status: SATISFIED
10  solution: !Solution
11    x: 10
12***/
13
14var 1..10: x :: add_to_output;
15constraint not( let { var 1..10: y = x + 1 } in x = y );
16solve satisfy;
17