Ubuntu
minizinc package

minizinc 2.8.2+dfsg1-1build1 source package in Ubuntu

Changelog

minizinc (2.8.2+dfsg1-1build1) noble; urgency=high

  * No change rebuild against libgecodegist49t64, libgecode49t64.

 -- Julian Andres Klode <email address hidden>  Fri, 22 Mar 2024 17:41:57 +0100

Upload details

Uploaded by:
Julian Andres Klode
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Very Urgent

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
minizinc_2.8.2+dfsg1.orig.tar.gz 1.8 MiB 9ad2e8da474eee5068518f4e2f0eb075974be97e45bbeba18389868c0a214a41
minizinc_2.8.2+dfsg1-1build1.debian.tar.xz 10.8 KiB cf0a67cdbe6cd5232eb051ea00eb8e085ef95e162527d87d8c68e757be7c99fc
minizinc_2.8.2+dfsg1-1build1.dsc 1.9 KiB 7e80b8899f41dbc7d845a0fbcb649883102375292b743e968478a1d67e754efa

View changes file

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 minizinc