Category "minizinc"

Referring to decision variable arrays in MiniZinc functions

I'd like to find the permutation steps that lead from the initial state to a required state. The decision variable array Steps is intended to record the permuta

why does minizinc python show TypeError: Can't instantiate abstract class Instance with abstract methods

0 Though i've Minizinc installed in my PC! still getting this error: --> 12 instance = Instance(gecode, nqueens) ImportError: cannot import name 'Instance' f

minizinc python installation

I installed minizinc on python through anaconda prompt as normally with other packages. pip install minizinc The package says it was installed successfully and

Concatenate 2 Enumerated type variable sets

enum sup; sup=['a','b','c']; enum sup2; sup2=['d','e','f']; enum sup3; sup3=sup++sup2; I want to get an new enumerated type sup3 with all a,b,c,d,e,f.Is t