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

this repo has no description

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

at develop 156 B view raw

 1/***
 2!Test
 3expected:
 4- !Result
 5  solution: !Solution {}
 6***/
 7
 8constraint
 9     let {
10      var float: x = true
11     }
12     in
13     x >= 0.0
14;
15solve satisfy;