this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, cbc]
4expected:
5- !Result
6 status: SATISFIED
7 solution: !Solution
8 x: [1.0, null]
9- !Result
10 status: SATISFIED
11 solution: !Solution
12 x: [null, 1.0]
13***/
14
15%-----------------------------------------------------------------------------%
16% This file tests the opt float vars
17%-----------------------------------------------------------------------------%
18
19include "globals.mzn";
20
21array[1..2] of var opt 1.0..2.0: x::add_to_output;
22
23
24constraint sum(x)=1.0;
25
26% This fails:
27%constraint x[1]+x[2]=1.0;
28
29%-----------------------------------------------------------------------------%
30solve satisfy;