Package: wnpp Severity: wishlist Owner: Kari Pahula <k...@debian.org>
* Package name : minizinc-ide Version : 0.9.8 Upstream Author : Guido Tack <guido.t...@monash.edu> * URL : http://www.minizinc.org/ide/ * License : MPL-2.0 Programming Lang: C++ Description : MiniZinc constraint modelling language IDE The MiniZinc IDE is a simple Integrated Development Environment for writing and running MiniZinc models. It provides a tabbed editor with MiniZinc syntax highlighting, configuration dialogs for solver options and model parameters, and an integrated environment for compiling models and running solvers. This is to go along with minizinc package (#791608). -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20150726193733.9301.94529.report...@sammakko3.piperka.net
