minizinc-ide - 2.8.5-1 main

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.

Priority: optional
Section: devel
Suites: amber byzantium crimson dawn landing 
Maintainer: Kari Pahula <kaol [꩜] debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 2.4 MB
Architectures: amd64  arm64 

 

Versions

2.8.5-1 amd64 2.8.5-1 arm64