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

this repo has no description

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

at develop 186 B view raw

 1/***
 2!Test
 3expected: !Result
 4  status: SATISFIED
 5***/
 6
 7% Regression test for wrong index set in nosets.mzn (part of GitHub issue #369)
 8
 9include "nosets.mzn";
10
11constraint set_lt({}, {0});