Gleb comments

Results 5 comments of


                                            Gleb

Linear library: can't flatten variable `if-then-else` expression

The problem seems in the flattening of if-then-else, because the equivalent constraint ``` constraint forall (g in Gang) (points[g] = [ 0, let { var int: sold_out = sum (i...

Linear library: can't flatten variable `if-then-else` expression

But the alternative has the same let expression... (could just take the sum by the way)

Linear library: can't flatten variable `if-then-else` expression

Ops, when using boolean as index, should add 1: ``` % Give points for interviewing a leader if he cracks, else don't. constraint forall (g in Gang) (points[g] = [...

Annotation causes error when running compile and solve separately

Hi, currently you can compile with --writeModel model.mps.gz and solve the mps by cbc executable and print the raw solution. For the FZN issue, you can copy the predicate into...

using mzn-cbc does not frees ram before start solving

The difference with mzn-... solvers is that they currently keep the whole flatzinc, and probably a lot of temp data, in memory. Being worked on