Ubuntu
minizinc package

minizinc 2.4.2-1build1 source package in Ubuntu

Changelog

minizinc (2.4.2-1build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Tue, 24 Mar 2020 15:15:12 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Focal
Original maintainer:
Kari Pahula
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
minizinc_2.4.2.orig.tar.gz 1.5 MiB 1295f2399cafed2c0287e630d8a03cdbbf071ed9d01e6110e26191852f5aff8a
minizinc_2.4.2-1build1.debian.tar.xz 8.6 KiB aef73cf5b55615ed67665406aa44448c89fffb0686ed4f37e3b656ae41b2d6fe
minizinc_2.4.2-1build1.dsc 1.8 KiB abea43641b4720fc2be7ec2b9fef0ffa66dcb1b811a1d1bcba10e61126554636

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