dan1221
dan1221
I think MiniZinc is missing the notion of user-defined types that incorporate a data structure such as an array, and one or more constraints. For example, a permutation type that...
Yay!!!! The -s solved my problem of getting solution counts from Chuffed! Thank you! I still have the separate issue that the solution counts apparently aren't available inside the model,...
Thanks!! On 22.02.2023 20:42, Guido Tack wrote: > Closed #607 [1] as completed via 2e78416 [2]. > > -- > Reply to this email directly, view it on GitHub [3],...
The exact problem I'm trying to solve is in Version 2 of issue #615. Originally the predicate was: ``` predicate equals_inverse(array[N] of var N: b) = % involution alldifferent(b) /\...
By not working, I mean that this code (using inverse instead of arg_sort) ``` % Version 2b: count involutions, a permutation that equals its inverse; OEIS:A000085 include "inverse_fn.mzn"; include "arg_sort.mzn";...
Thanks for the notes. I realize that this is a hard problem, but Chuffed handles Version 1 much better than Version 2, so I'd like to find some way to...