dan1221

Feature request: lazy evaluation (short-circuit)

5

The MiniZinc Handbook index doesn't mention lazy evaluation, although Section 4.1.7.3 "If-then-else expressions" says: > If the if expression is par bool then evaluation of if-then-else expressions is lazy: the...

counting solutions within a model is awkward and slow

4

This is split off of issue #607. Suppose I have a model that counts involutions: ``` % Version 1: count involutions, a permutation that equals its inverse; OEIS:A000085 include "inverse_fn.mzn";...

Feature request: associating constraints with arrays

6

Many combinatorial objects involve an array with one or more associated constraints. For example, a permutation can be represented as a one-dimensional array with an alldifferent constraint, and a latin...

counting solutions with Chuffed, missing -s in IDE

2

I'm trying to count solutions using the MiniZinc IDE. This seems like a common desire when considering combinatorial objects. But the MiniZinc Handbook is strangely silent on the topic, except...

Feature request: higher-level symmetry breaking

1

Currently, it seems that symmetry breaking is rather ad-hoc. For example, even though n-queens and knights tour both involve a square matrix with rotational and reflective symmetry, based on the...

overly strict restriction on dynamic array slice

1

I'm trying to slice a column of a two-dimensional array, where the column is selected based on a variable, resulting in the error: type error: array slicing with variable range...