Repository navigation
Wrong result with optimizing bool2int (Flattening is empty) #476
Description
Using minizinc 2.5.5
Given the following program
var 1..9: b;
var bool: c;
constraint b = c;
solve satisfy;
the call minizinc file -a
b = b;
c = true;
----------
==========
which is
- weird (
b=b) ? - the fzn file produced is empty
- this happens only when at least -O1 is used
- note that 'b' must be '1'
Activity
Delay deletion of variable, to avoid deleting variable that is requir…