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 | 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 |
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 minizinc