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

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / param_file / param_file_array.mzn

at develop 246 B view raw

 1/***
 2---
 3!Test
 4solvers: [gecode]
 5options:
 6  param-file: './spec/unit/param_file/param_file_array.json'
 7expected: !Result
 8  status: SATISFIED
 9  solution: !Solution
10    x: true
11    y: false
12***/
13
14bool: x :: add_to_output;
15bool: y :: add_to_output;