Gecode / gecode

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

Include MiniZinc solver configuration for Gecode Gist #131

Closed Dekker1 closed 2 years ago

Dekker1 commented 2 years ago

This PR adds an additional MiniZinc solver configuration when you compile and install Gecode with Gist available. This extra solver configuration allows you to open the gist window directly from MiniZinc.

This idea is already included in the MiniZinc bundle, but I think it would be good to make it available if you install Gecode directly.

A downside of the approach taken is that it still uses a separate template for each configuration file (even though most of the file is shared). However, this seemed the only reasonable approach with autoconf.