minizinc_2.1.7+dfsg1-1_amd64.deb


Advertisement

Description

minizinc - constraint modelling language and tool chain

Property Value
Distribution Debian Sid
Repository Debian Main 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 devel
Homepage http://www.minizinc.org/
License -
Maintainer Kari Pahula <kaol@debian.org>
Download size 1.69 MB
Installed size 10.23 MB

Alternatives

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

Requires

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

Download

Type URL
Mirror ftp.br.debian.org
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/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_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_17.08.3-2_all.deb data files for Minuet
minuet_17.08.3-2_amd64.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_amd64.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_amd64.deb fast and simple GTK+ image viewer
miredo-server_1.2.6-7_amd64.deb Teredo IPv6 tunneling server
miredo_1.2.6-7_amd64.deb Teredo IPv6 tunneling through NATs
miri-sdr_0.0.4.59ba37-5+b1_amd64.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
Advertisement
Advertisement