minizinc_2.1.7+dfsg1-1_amd64.deb


Advertisement

Description

minizinc - constraint modelling language and tool chain

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename minizinc_2.1.7+dfsg1-1_amd64.deb
Package name minizinc
Package version 2.1.7+dfsg1
Package release 1
Package architecture amd64
Package type deb
Category universe/devel
Homepage http://www.minizinc.org/
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 1.69 MB
Installed size 10.22 MB
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.

Alternatives

Package Version Architecture Repository
minizinc_2.1.7+dfsg1-1_i386.deb 2.1.7+dfsg1 i386 Ubuntu Universe
minizinc - - -

Requires

Name Value
flatzinc >= 5.1.0-1
libc6 >= 2.23
libgcc1 >= 1:3.0
libstdc++6 >= 5.2

Download

Type URL
Mirror archive.ubuntu.com
Binary Package minizinc_2.1.7+dfsg1-1_amd64.deb
Source Package minizinc

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install minizinc deb package:
    # sudo apt-get install minizinc

Files

Path
/usr/bin/mzn-fzn
/usr/bin/mzn2doc
/usr/bin/mzn2fzn
/usr/bin/mzn2fzn_test
/usr/bin/solns2out
/usr/share/doc-base/minizinc
/usr/share/doc/minizinc/README
/usr/share/doc/minizinc/README.Debian
/usr/share/doc/minizinc/changelog.Debian.gz
/usr/share/doc/minizinc/copyright
/usr/share/doc/minizinc/minizinc-spec.pdf
/usr/share/doc/minizinc/examples/functions/warehouses.mzn
/usr/share/doc/minizinc/examples/new_syntax/array_index_set.mzn
/usr/share/doc/minizinc/examples/new_syntax/extended_let.mzn
/usr/share/doc/minizinc/examples/new_syntax/var_if.mzn
/usr/share/doc/minizinc/examples/option_types/compatible_assignment_opt.mzn
/usr/share/doc/minizinc/examples/option_types/extended_comprehensions.mzn
/usr/share/doc/minizinc/examples/option_types/fjsp.mzn.gz
/usr/share/doc/minizinc/examples/python_interface/aust.py
/usr/share/doc/minizinc/examples/python_interface/knapsack.py
/usr/share/doc/minizinc/examples/python_interface/loan.py
/usr/share/doc/minizinc/examples/python_interface/nqueens.py
/usr/share/doc/minizinc/examples/python_interface/nqueens3.py
/usr/share/doc/minizinc/examples/python_interface/sudoku.py
/usr/share/doc/minizinc/html/MiniZn_logo.jpg
/usr/share/doc/minizinc/html/doc-annotations-general.html
/usr/share/doc/minizinc/html/doc-annotations-prop.html
/usr/share/doc/minizinc/html/doc-annotations-search.html
/usr/share/doc/minizinc/html/doc-annotations.html
/usr/share/doc/minizinc/html/doc-builtins-arithmetic.html
/usr/share/doc/minizinc/html/doc-builtins-array.html
/usr/share/doc/minizinc/html/doc-builtins-coercion.html
/usr/share/doc/minizinc/html/doc-builtins-compare.html
/usr/share/doc/minizinc/html/doc-builtins-debug.html
/usr/share/doc/minizinc/html/doc-builtins-enum.html
/usr/share/doc/minizinc/html/doc-builtins-explog.html
/usr/share/doc/minizinc/html/doc-builtins-language.html
/usr/share/doc/minizinc/html/doc-builtins-logic.html
/usr/share/doc/minizinc/html/doc-builtins-random.html
/usr/share/doc/minizinc/html/doc-builtins-reflect.html
/usr/share/doc/minizinc/html/doc-builtins-set.html
/usr/share/doc/minizinc/html/doc-builtins-sort.html
/usr/share/doc/minizinc/html/doc-builtins-special.html
/usr/share/doc/minizinc/html/doc-builtins-string.html
/usr/share/doc/minizinc/html/doc-builtins-trigonometric.html
/usr/share/doc/minizinc/html/doc-builtins.html
/usr/share/doc/minizinc/html/doc-flatzinc.html
/usr/share/doc/minizinc/html/doc-globals-alldifferent.html
/usr/share/doc/minizinc/html/doc-globals-channeling.html
/usr/share/doc/minizinc/html/doc-globals-counting.html
/usr/share/doc/minizinc/html/doc-globals-extensional.html
/usr/share/doc/minizinc/html/doc-globals-lexicographic.html
/usr/share/doc/minizinc/html/doc-globals-packing.html
/usr/share/doc/minizinc/html/doc-globals-scheduling.html
/usr/share/doc/minizinc/html/doc-globals-sort.html
/usr/share/doc/minizinc/html/doc-globals.html
/usr/share/doc/minizinc/html/doc-options.html
/usr/share/doc/minizinc/html/doc-optiontypes-bool.html
/usr/share/doc/minizinc/html/doc-optiontypes-int.html
/usr/share/doc/minizinc/html/doc-optiontypes.html
/usr/share/doc/minizinc/html/doc.html
/usr/share/doc/minizinc/html/footer.html
/usr/share/doc/minizinc/html/header.html
/usr/share/doc/minizinc/html/style.css
/usr/share/minizinc/g12_fd/all_different_int.mzn
/usr/share/minizinc/g12_fd/cumulative.mzn
/usr/share/minizinc/g12_fd/global_cardinality_low_up.mzn
/usr/share/minizinc/g12_lazyfd/all_different_int.mzn
/usr/share/minizinc/g12_lazyfd/redefinitions.mzn
/usr/share/minizinc/gecode/all_different_int.mzn
/usr/share/minizinc/gecode/all_equal_int.mzn
/usr/share/minizinc/gecode/among.mzn
/usr/share/minizinc/gecode/arg_max_int.mzn
/usr/share/minizinc/gecode/arg_min_int.mzn
/usr/share/minizinc/gecode/at_least_int.mzn
/usr/share/minizinc/gecode/at_least_set.mzn
/usr/share/minizinc/gecode/at_most_int.mzn
/usr/share/minizinc/gecode/at_most_set.mzn
/usr/share/minizinc/gecode/bin_packing.mzn
/usr/share/minizinc/gecode/bin_packing_capa.mzn
/usr/share/minizinc/gecode/bin_packing_load.mzn
/usr/share/minizinc/gecode/circuit.mzn
/usr/share/minizinc/gecode/count.mzn
/usr/share/minizinc/gecode/cumulative.mzn
/usr/share/minizinc/gecode/decreasing_bool.mzn
/usr/share/minizinc/gecode/decreasing_int.mzn
/usr/share/minizinc/gecode/diffn.mzn
/usr/share/minizinc/gecode/disjoint.mzn
/usr/share/minizinc/gecode/distribute.mzn
/usr/share/minizinc/gecode/exactly_int.mzn
/usr/share/minizinc/gecode/exactly_set.mzn
/usr/share/minizinc/gecode/gecode.mzn
/usr/share/minizinc/gecode/global_cardinality.mzn
/usr/share/minizinc/gecode/global_cardinality_closed.mzn
/usr/share/minizinc/gecode/global_cardinality_low_up.mzn
/usr/share/minizinc/gecode/global_cardinality_low_up_closed.mzn
/usr/share/minizinc/gecode/increasing_bool.mzn
/usr/share/minizinc/gecode/increasing_int.mzn
/usr/share/minizinc/gecode/int_set_channel.mzn
/usr/share/minizinc/gecode/inverse.mzn
/usr/share/minizinc/gecode/inverse_set.mzn
/usr/share/minizinc/gecode/lex_less_bool.mzn
/usr/share/minizinc/gecode/lex_less_int.mzn
/usr/share/minizinc/gecode/lex_lesseq_bool.mzn
/usr/share/minizinc/gecode/lex_lesseq_int.mzn
/usr/share/minizinc/gecode/link_set_to_booleans.mzn
/usr/share/minizinc/gecode/maximum_int.mzn
/usr/share/minizinc/gecode/member_bool.mzn
/usr/share/minizinc/gecode/member_int.mzn
/usr/share/minizinc/gecode/minimum_int.mzn
/usr/share/minizinc/gecode/nvalue.mzn
/usr/share/minizinc/gecode/partition_set.mzn
/usr/share/minizinc/gecode/precedence.mzn
/usr/share/minizinc/gecode/range.mzn
/usr/share/minizinc/gecode/redefinitions-2.0.mzn
/usr/share/minizinc/gecode/redefinitions.mzn
/usr/share/minizinc/gecode/regular.mzn
/usr/share/minizinc/gecode/roots.mzn
/usr/share/minizinc/gecode/sort.mzn
/usr/share/minizinc/gecode/sum_pred.mzn
/usr/share/minizinc/gecode/table_bool.mzn
/usr/share/minizinc/gecode/table_int.mzn
/usr/share/minizinc/gecode/value_precede_int.mzn
/usr/share/minizinc/gecode/value_precede_set.mzn
/usr/share/minizinc/linear/CHANGELOG.txt
/usr/share/minizinc/linear/all_different_int.mzn
/usr/share/minizinc/linear/alldifferent_except_0.mzn
/usr/share/minizinc/linear/circuit.mzn
/usr/share/minizinc/linear/cumulative.mzn
/usr/share/minizinc/linear/domain_encodings.mzn
/usr/share/minizinc/linear/inverse.mzn
/usr/share/minizinc/linear/lex_lesseq_bool.mzn
/usr/share/minizinc/linear/options.mzn
/usr/share/minizinc/linear/redefinitions-2.0.2.mzn
/usr/share/minizinc/linear/redefinitions-2.0.mzn
/usr/share/minizinc/linear/redefinitions.mzn
/usr/share/minizinc/linear/redefs_bool_reifs.mzn
/usr/share/minizinc/linear/redefs_lin_halfreifs.mzn
/usr/share/minizinc/linear/redefs_lin_reifs.mzn
/usr/share/minizinc/linear/regular.mzn
/usr/share/minizinc/linear/subcircuit.mzn
/usr/share/minizinc/linear/subcircuit_wDummy.mzn
/usr/share/minizinc/linear/table_int.mzn
/usr/share/minizinc/linear_old/all_different_int.mzn
/usr/share/minizinc/linear_old/domain_encodings.mzn
/usr/share/minizinc/linear_old/inverse.mzn
/usr/share/minizinc/linear_old/redefinitions-2.0.2.mzn
/usr/share/minizinc/linear_old/redefinitions-2.0.mzn
/usr/share/minizinc/linear_old/redefinitions.mzn
/usr/share/minizinc/linear_old/table_int.mzn
/usr/share/minizinc/linear_old/linear/all_different_int.mzn
/usr/share/minizinc/linear_old/linear/domain_encodings.mzn
/usr/share/minizinc/linear_old/linear/inverse.mzn
/usr/share/minizinc/linear_old/linear/redefinitions-2.0.2.mzn
/usr/share/minizinc/linear_old/linear/redefinitions-2.0.mzn
/usr/share/minizinc/linear_old/linear/redefinitions.mzn
/usr/share/minizinc/linear_old/linear/table_int.mzn
/usr/share/minizinc/std/all_different.mzn
/usr/share/minizinc/std/all_different_int.mzn
/usr/share/minizinc/std/all_different_set.mzn
/usr/share/minizinc/std/all_disjoint.mzn
/usr/share/minizinc/std/all_equal.mzn
/usr/share/minizinc/std/all_equal_int.mzn
/usr/share/minizinc/std/all_equal_set.mzn
/usr/share/minizinc/std/alldifferent.mzn
/usr/share/minizinc/std/alldifferent_except_0.mzn
/usr/share/minizinc/std/alternative.mzn
/usr/share/minizinc/std/among.mzn
/usr/share/minizinc/std/among_fn.mzn
/usr/share/minizinc/std/arg_max.mzn
/usr/share/minizinc/std/arg_max_float.mzn
/usr/share/minizinc/std/arg_max_int.mzn
/usr/share/minizinc/std/arg_min.mzn
/usr/share/minizinc/std/arg_min_float.mzn
/usr/share/minizinc/std/arg_min_int.mzn
/usr/share/minizinc/std/arg_sort.mzn
/usr/share/minizinc/std/arg_sort_float.mzn
/usr/share/minizinc/std/arg_sort_int.mzn
/usr/share/minizinc/std/at_least.mzn
/usr/share/minizinc/std/at_least_int.mzn
/usr/share/minizinc/std/at_least_set.mzn
/usr/share/minizinc/std/at_most.mzn
/usr/share/minizinc/std/at_most1.mzn
/usr/share/minizinc/std/at_most_int.mzn
/usr/share/minizinc/std/at_most_set.mzn
/usr/share/minizinc/std/atleast.mzn
/usr/share/minizinc/std/atmost.mzn
/usr/share/minizinc/std/atmost1.mzn
/usr/share/minizinc/std/bin_packing.mzn
/usr/share/minizinc/std/bin_packing_capa.mzn
/usr/share/minizinc/std/bin_packing_load.mzn
/usr/share/minizinc/std/bin_packing_load_fn.mzn
/usr/share/minizinc/std/builtins.mzn
/usr/share/minizinc/std/circuit.mzn
/usr/share/minizinc/std/comparison_rel_array.mzn
/usr/share/minizinc/std/count.mzn
/usr/share/minizinc/std/count_eq.mzn
/usr/share/minizinc/std/count_fn.mzn
/usr/share/minizinc/std/count_geq.mzn
/usr/share/minizinc/std/count_gt.mzn
/usr/share/minizinc/std/count_leq.mzn
/usr/share/minizinc/std/count_lt.mzn
/usr/share/minizinc/std/count_neq.mzn
/usr/share/minizinc/std/cumulative.mzn
/usr/share/minizinc/std/cumulative_opt.mzn
/usr/share/minizinc/std/decreasing.mzn
/usr/share/minizinc/std/decreasing_bool.mzn
/usr/share/minizinc/std/decreasing_float.mzn
/usr/share/minizinc/std/decreasing_int.mzn
/usr/share/minizinc/std/decreasing_set.mzn
/usr/share/minizinc/std/diffn.mzn
/usr/share/minizinc/std/diffn_k.mzn
/usr/share/minizinc/std/diffn_nonstrict.mzn
/usr/share/minizinc/std/diffn_nonstrict_k.mzn
/usr/share/minizinc/std/disjoint.mzn
/usr/share/minizinc/std/disjunctive.mzn
/usr/share/minizinc/std/disjunctive_opt.mzn
/usr/share/minizinc/std/disjunctive_strict.mzn
/usr/share/minizinc/std/disjunctive_strict_opt.mzn
/usr/share/minizinc/std/distribute.mzn
/usr/share/minizinc/std/distribute_fn.mzn
/usr/share/minizinc/std/element.mzn
/usr/share/minizinc/std/element_bool.mzn
/usr/share/minizinc/std/element_float.mzn
/usr/share/minizinc/std/element_int.mzn
/usr/share/minizinc/std/element_set.mzn
/usr/share/minizinc/std/exactly.mzn
/usr/share/minizinc/std/exactly_int.mzn
/usr/share/minizinc/std/exactly_set.mzn
/usr/share/minizinc/std/flatzinc_builtins.mzn
/usr/share/minizinc/std/geost.mzn
/usr/share/minizinc/std/global_cardinality.mzn
/usr/share/minizinc/std/global_cardinality_closed.mzn
/usr/share/minizinc/std/global_cardinality_closed_fn.mzn
/usr/share/minizinc/std/global_cardinality_fn.mzn
/usr/share/minizinc/std/global_cardinality_low_up.mzn
/usr/share/minizinc/std/global_cardinality_low_up_closed.mzn
/usr/share/minizinc/std/globals.mzn
/usr/share/minizinc/std/increasing.mzn
/usr/share/minizinc/std/increasing_bool.mzn
/usr/share/minizinc/std/increasing_float.mzn
/usr/share/minizinc/std/increasing_int.mzn
/usr/share/minizinc/std/increasing_set.mzn
/usr/share/minizinc/std/int_set_channel.mzn
/usr/share/minizinc/std/inverse.mzn
/usr/share/minizinc/std/inverse_fn.mzn
/usr/share/minizinc/std/inverse_set.mzn
/usr/share/minizinc/std/knapsack.mzn
/usr/share/minizinc/std/lex2.mzn
/usr/share/minizinc/std/lex_greater.mzn
/usr/share/minizinc/std/lex_greatereq.mzn
/usr/share/minizinc/std/lex_less.mzn
/usr/share/minizinc/std/lex_less_bool.mzn
/usr/share/minizinc/std/lex_less_float.mzn
/usr/share/minizinc/std/lex_less_int.mzn
/usr/share/minizinc/std/lex_less_set.mzn
/usr/share/minizinc/std/lex_lesseq.mzn
/usr/share/minizinc/std/lex_lesseq_bool.mzn
/usr/share/minizinc/std/lex_lesseq_float.mzn
/usr/share/minizinc/std/lex_lesseq_int.mzn
/usr/share/minizinc/std/lex_lesseq_set.mzn
/usr/share/minizinc/std/link_set_to_booleans.mzn
/usr/share/minizinc/std/maximum.mzn
/usr/share/minizinc/std/member.mzn
/usr/share/minizinc/std/member_bool.mzn
/usr/share/minizinc/std/member_float.mzn
/usr/share/minizinc/std/member_int.mzn
/usr/share/minizinc/std/member_set.mzn
/usr/share/minizinc/std/minimum.mzn
/usr/share/minizinc/std/network_flow.mzn
/usr/share/minizinc/std/nosets.mzn
/usr/share/minizinc/std/nvalue.mzn
/usr/share/minizinc/std/nvalue_fn.mzn
/usr/share/minizinc/std/partition_set.mzn
/usr/share/minizinc/std/range.mzn
/usr/share/minizinc/std/range_fn.mzn
/usr/share/minizinc/std/redefinitions-2.0.2.mzn
/usr/share/minizinc/std/redefinitions-2.0.mzn
/usr/share/minizinc/std/redefinitions-2.1.1.mzn
/usr/share/minizinc/std/redefinitions-2.1.mzn
/usr/share/minizinc/std/redefinitions.mzn
/usr/share/minizinc/std/regular.mzn
/usr/share/minizinc/std/regular_nfa.mzn
/usr/share/minizinc/std/roots.mzn
/usr/share/minizinc/std/roots_fn.mzn
/usr/share/minizinc/std/set_member.mzn
/usr/share/minizinc/std/sliding_sum.mzn
/usr/share/minizinc/std/sort.mzn
/usr/share/minizinc/std/sort_fn.mzn
/usr/share/minizinc/std/span.mzn
/usr/share/minizinc/std/stdlib.mzn
/usr/share/minizinc/std/stdlib_new.mzn
/usr/share/minizinc/std/strict_lex2.mzn
/usr/share/minizinc/std/subcircuit.mzn
/usr/share/minizinc/std/sum_pred.mzn
/usr/share/minizinc/std/symmetric_all_different.mzn
/usr/share/minizinc/std/table.mzn
/usr/share/minizinc/std/table_bool.mzn
/usr/share/minizinc/std/table_int.mzn
/usr/share/minizinc/std/value_precede.mzn
/usr/share/minizinc/std/value_precede_chain.mzn
/usr/share/minizinc/std/value_precede_chain_int.mzn
/usr/share/minizinc/std/value_precede_chain_set.mzn
/usr/share/minizinc/std/value_precede_int.mzn
/usr/share/minizinc/std/value_precede_set.mzn

Changelog

2018-01-23 - Kari Pahula <kaol@debian.org>
minizinc (2.1.7+dfsg1-1) unstable; urgency=medium
* New upstream release
* Standards-Version 4.1.3
- Set Priority: optional.
2017-07-18 - Kari Pahula <kaol@debian.org>
minizinc (2.1.5+dfsg1-1) unstable; urgency=medium
* New upstream release
- Upstream provides now mzn-fzn binary which takes the role of
minizinc binary in 1.6 release.  (Closes: #830973)
* Standards-Version 4.0.0 (no changes necessary).
* Add generated files lib/cached/{parser.tab.cpp,lexer.yy.cpp} to
debian/clean.
* Add debian/watch file. (Closes: #866212)
* Rework the patch on CMakeLists.txt to make fewer changes to it and fix
more errant files in debian/rules instead.
* Stop linking /usr/share/minizinc/gecode to gecode's mznlib directory
as the definitons there turn out to not be compatible.
* Drop Enhances: flatzinc from minizinc.
2016-08-28 - Kari Pahula <kaol@debian.org>
minizinc (2.0.14+dfsg1-1) unstable; urgency=medium
* New upstream release
- Include cmath where needed. (Closes: #830457)
* Bump standards-version to 3.9.8 (no changes necessary).
2016-04-07 - Kari Pahula <kaol@debian.org>
minizinc (2.0.13+dfsg1-1) unstable; urgency=medium
* New upstream release
2016-01-17 - Kari Pahula <kaol@debian.org>
minizinc (2.0.11+dfsg1-1) unstable; urgency=medium
* New upstream release
2016-01-02 - Kari Pahula <kaol@debian.org>
minizinc (2.0.10+dfsg1-1) unstable; urgency=medium
* New upstream release
* Build html documentation.
* Build pdf spec documentation and add mklatex and
texlive-latex-recommended as build deps.
* Add minizinc.doc-base.
* Changes to patch install-cleanups to adjust install directories.
2015-10-25 - Kari Pahula <kaol@debian.org>
minizinc (2.0.8+dfsg1-1) unstable; urgency=medium
* New upstream release
2015-08-03 - Kari Pahula <kaol@debian.org>
minizinc (2.0.5+dfsg1-1) experimental; urgency=low
* Initial release (Closes: #791608)

See Also

Package Description
minizip_1.1-8build1_amd64.deb compression library - minizip tools
minlog_4.0.99.20100221-6_all.deb Proof assistant based on first order natural deduction calculus
minpack-dev_19961126+dfsg1-5_amd64.deb nonlinear equations and nonlinear least squares static library
minuet-data_18.12.3-0ubuntu1_all.deb data files for Minuet
minuet-dev_18.12.3-0ubuntu1_amd64.deb KDE Software for Music Education
minuet_18.12.3-0ubuntu1_amd64.deb KDE Software for Music Education
mipe_1.1-7_all.deb Tools to store PCR-derived data
mir-client-platform-mesa5_1.1.1-0ubuntu3_amd64.deb Display server for Ubuntu - client platform library for Mesa
mir-demos_1.1.1-0ubuntu3_amd64.deb Display server for Ubuntu - demonstration programs
mir-graphics-drivers-desktop_1.1.1-0ubuntu3_amd64.deb Display server for Ubuntu - desktop driver metapackage
mir-graphics-drivers-nvidia_1.1.1-0ubuntu3_amd64.deb Display server for Ubuntu - Nvidia driver metapackage
mir-platform-graphics-eglstream-kms16_1.1.1-0ubuntu3_amd64.deb Display server for Ubuntu - platform library for NVIDIA
mir-platform-graphics-mesa-kms16_1.1.1-0ubuntu3_amd64.deb Display server for Ubuntu - platform library for KMS Mesa
mir-platform-graphics-mesa-x16_1.1.1-0ubuntu3_amd64.deb Display server for Ubuntu - platform library for X11 Mesa
mir-platform-input-evdev7_1.1.1-0ubuntu3_amd64.deb Display server for Ubuntu - input platform library
Advertisement
Advertisement