Ubuntu
minizinc package

minizinc 2.6.4+dfsg1-1 source package in Ubuntu

Changelog

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

  * New upstream release. (Closes: #1012997)

 -- Kari Pahula <email address hidden>  Sat, 23 Jul 2022 02:30:33 +0300

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
Mantic release universe misc
Lunar release universe misc

Downloads

File Size SHA-256 Checksum
minizinc_2.6.4+dfsg1-1.dsc 1.8 KiB a724f0df15afef558973abe6d6aff37f965a653386a719a345b11599dd133024
minizinc_2.6.4+dfsg1.orig.tar.xz 858.8 KiB be00e48196212fde9da80156c6eab8045cff4bbc3d272425c65356d8321da044
minizinc_2.6.4+dfsg1-1.debian.tar.xz 8.9 KiB 22b19a098ba5398121005016258060d73559d3cebbd37cda0606b3edff9b3732

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: No summary available for minizinc-dbgsym in ubuntu kinetic.

No description available for minizinc-dbgsym in ubuntu kinetic.