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

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / output / mzn_bottom1.mzn

at develop 127 B view raw

 1/***
 2!Test
 3expected:
 4- !Result
 5  solution: !Solution
 6    _output_item: '{}'
 7***/
 8
 9output [show(index_set([]))];
10solve satisfy;