Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
283 stars 76 forks source link

Doesn't install MiniZinc config file #105

Closed yurivict closed 3 years ago

yurivict commented 3 years ago

In order for MiniZinc to find the solver a .msc file should be installed into share/minizinc/solvers.

Version: 6.2.0

Dekker1 commented 3 years ago

Solved once #104 is accepted

yurivict commented 3 years ago

This is now fixed in 6.3.0.