Ubuntu
minizinc package

minizinc 2.0.10+dfsg1-1 source package in Ubuntu

Changelog

minizinc (2.0.10+dfsg1-1) unstable; urgency=medium

  * New upstream release
  * Build html documentation.
  * Build pdf spec documentation and add mklatex and
    texlive-latex-recommended as build deps.
  * Add minizinc.doc-base.
  * Changes to patch install-cleanups to adjust install directories.

 -- Kari Pahula <email address hidden>  Sat, 02 Jan 2016 20:44:57 +0200

Upload details

Uploaded by:
Kari Pahula
Uploaded to:
Sid
Original maintainer:
Kari Pahula
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
minizinc_2.0.10+dfsg1-1.dsc 1.8 KiB 3c98fdde6f4d8258f3d652731c688aaa6d221a084751e563ee13fd266110c9a3
minizinc_2.0.10+dfsg1.orig.tar.gz 435.8 KiB 02f2ad14789ddf702738bd5ef0473c68c5de658003afaa59aaa47b1f0687c555
minizinc_2.0.10+dfsg1-1.debian.tar.xz 8.9 KiB 24320f9cdffb72ca10cdb91856ecb729907ae42cb5abd728ffd0430b4a2847f5

Available diffs

No changes file available.

Binary packages built by this source

minizinc: constraint modelling language and tool chain

 MiniZinc is a medium-level constraint modelling language. It is
 high-level enough to express most constraint problems easily, but
 low-level enough that it can be mapped onto existing solvers easily
 and consistently. It is a subset of the higher-level language Zinc.
 .
 MiniZinc is designed to interface easily to different backend
 solvers. It does this by transforming an input MiniZinc model and
 data file into a FlatZinc model. FlatZinc models consist of variable
 declaration and constraint definitions as well as a definition of the
 objective function if the problem is an optimization problem. The
 translation from MiniZinc to FlatZinc is specializable to individual
 backend solvers, so they can control what form constraints end up
 in. In particular, MiniZinc allows the specification of global
 constraints by decomposition.

minizinc-dbgsym: debug symbols for package minizinc

 MiniZinc is a medium-level constraint modelling language. It is
 high-level enough to express most constraint problems easily, but
 low-level enough that it can be mapped onto existing solvers easily
 and consistently. It is a subset of the higher-level language Zinc.
 .
 MiniZinc is designed to interface easily to different backend
 solvers. It does this by transforming an input MiniZinc model and
 data file into a FlatZinc model. FlatZinc models consist of variable
 declaration and constraint definitions as well as a definition of the
 objective function if the problem is an optimization problem. The
 translation from MiniZinc to FlatZinc is specializable to individual
 backend solvers, so they can control what form constraints end up
 in. In particular, MiniZinc allows the specification of global
 constraints by decomposition.