Ubuntu
minizinc package

minizinc 2.8.3+dfsg1-1 source package in Ubuntu

Changelog

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

  * New upstream release.
  * Add coinor-libcbc-dev as a build dep
  * Add chuffed-flatzinc and gecode-flatzinc (for future use) as
    alternative flatzinc dependencies
  * Remove solver_config alternatives patch
  * Read global Preferences.json from /var/lib/minizinc/ and update it
    with a dpkg trigger on /usr/share/minizinc/solvers/
  * Add postinst script for updating Preferences.json on trigger/install
    and prerm to remove it on remove
  * Add jq and python3-demjson (for jsonlint) as deps for use by the
    maintainer script

 -- Kari Pahula <email address hidden>  Fri, 29 Mar 2024 17:59:39 +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
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
minizinc_2.8.3+dfsg1-1.dsc 1.8 KiB 778858112fe3a0fd4b9aa960c82ada3230e23601a7347385dfe710c8d1c1d646
minizinc_2.8.3+dfsg1.orig.tar.xz 960.6 KiB 2ec5a62d87a0772eb973214c5554728bcadc54f976943d8e32989986e9c3b7e8
minizinc_2.8.3+dfsg1-1.debian.tar.xz 11.2 KiB a771658c556c6472765fddd8a980801d89408e73891e44e4d3799e09adf258e5

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 minizinc