File: control

package info (click to toggle)
minizinc-ide 2.5.3-1
  • links: PTS
  • area: main
  • in suites:
  • size: 2,764 kB
  • sloc: cpp: 20,833; sh: 59; makefile: 7
file content (17 lines) | stat: -rw-r--r-- 693 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
Source: minizinc-ide
Section: devel
Priority: optional
Maintainer: Kari Pahula <kaol@debian.org>
Build-Depends: debhelper (>= 11), qt5-qmake, qtwebengine5-dev
Standards-Version: 4.4.1
Homepage: http://www.minizinc.org/ide/

Package: minizinc-ide
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, minizinc (>= 2.4.1)
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.