minizinc_2.1.7+dfsg1-1_i386.deb


Advertisement

Description

minizinc - constraint modelling language and tool chain

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename minizinc_2.1.7+dfsg1-1_i386.deb
Package name minizinc
Package version 2.1.7+dfsg1
Package release 1
Package architecture i386
Package type deb
Category devel
Homepage http://www.minizinc.org/
License -
Maintainer Kari Pahula <kaol@debian.org>
Download size 1.75 MB
Installed size 11.12 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_amd64.deb 2.1.7+dfsg1 amd64 Debian Main
minizinc - - -

Requires

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

Download

Type URL
Mirror ftp.br.debian.org
Binary Package minizinc_2.1.7+dfsg1-1_i386.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/changelog.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-8+b1_i386.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_i386.deb nonlinear equations and nonlinear least squares static library
minuet-data_17.08.3-2_all.deb data files for Minuet
minuet_17.08.3-2_i386.deb KDE Software for Music Education
mipe_1.1-7_all.deb Tools to store PCR-derived data
mira-assembler_4.9.6-4+b1_i386.deb Whole Genome Shotgun and EST Sequence Assembler
mira-doc_4.9.6-4_all.deb documentation for the mira assembler
mira-rfam-12s-rrna_4.9.6-4_all.deb extract of RFAM 12 rRNA database
mirage_0.9.5.2-1_i386.deb fast and simple GTK+ image viewer
miri-sdr_0.0.4.59ba37-5+b1_i386.deb Software defined radio support for Mirics hardware (tools)
mirmon_2.11-5_all.deb monitor the state of mirrors
mirrormagic-data_3.0.0+dfsg2-1_all.deb Data files for mirrormagic
mirrormagic_3.0.0+dfsg2-1_i386.deb Shoot around obstacles to collect energy using your beam
miscfiles_1.5+dfsg-2_all.deb Dictionaries and other interesting files
Advertisement
Advertisement