flatzinc_5.1.0-2build1_amd64.deb


Advertisement

Description

flatzinc - constraint problem modelling language

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe amd64
Package filename flatzinc_5.1.0-2build1_amd64.deb
Package name flatzinc
Package version 5.1.0
Package release 2build1
Package architecture amd64
Package type deb
Category universe/devel
Homepage http://www.gecode.org/flatzinc.html
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 15.20 KB
Installed size 102.00 KB
FlatZinc is a low-level modelling language for constraint
problems. It is designed to be easily interfaceable to constraint
solvers (like Gecode). For more information on FlatZinc, please refer
to the MiniZinc pages of the G12 project
<http://www.g12.cs.mu.oz.au/minizinc/>.
We provide a parser that reads a FlatZinc model from a file, and
returns a Gecode Space object that represents the model. We also
provide a simple front-end, an executable program that reads a
FlatZinc model and prints the solution (if any) on the standard
output.
The FlatZinc interpreter that ships with Gecode version 4.4.0
supports the FlatZinc language and MiniZinc global constraint
definitions of MiniZinc version 1.6.0.

Alternatives

Package Version Architecture Repository
flatzinc_5.1.0-2build1_i386.deb 5.1.0 i386 Ubuntu Universe
flatzinc - - -

Requires

Name Value
libc6 >= 2.14
libgcc1 >= 1:3.0
libgecode44 -
libgecodeflatzinc44 -
libgecodegist44 -
libstdc++6 >= 5.2

Replaces

Name Value
libgecode-dev << 3.7.0

Download

Type URL
Mirror archive.ubuntu.com
Binary Package flatzinc_5.1.0-2build1_amd64.deb
Source Package gecode

Install Howto

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

Files

Path
/usr/bin/flatzinc
/usr/bin/fzn-gecode
/usr/share/doc/flatzinc/changelog.Debian.gz
/usr/share/doc/flatzinc/copyright
/usr/share/lintian/overrides/flatzinc

Changelog

2018-01-24 - Matthias Klose <doko@ubuntu.com>
gecode (5.1.0-2build1) bionic; urgency=medium
* No-change rebuild for mpfr soname change.
2017-07-29 - Kari Pahula <kaol@debian.org>
gecode (5.1.0-2) unstable; urgency=medium
* Use Debian's own Boost instead of the one included with Gecode.
(Closes: #869696)
* Pass --with-host-os=linux to configure to always use host_os=linux.
(Closes: #869699)
2017-07-18 - Kari Pahula <kaol@debian.org>
gecode (5.1.0-1) unstable; urgency=medium
* New upstream release (soname 44)
- fzn-gecode seems to work correctly now. (Closes: #861949)
* Standards-Version 4.0.0 (no changes necessary).
* Drop patch bison-3-support since upstream updated their build with
similar change.
* Remove mzn-gecode from flatzinc since mzn-fzn provided by minizinc
provides that functionality.
* Remove /usr/share/gecode/mznlib from flatzinc since minizinc comes
with its own copy of it.
* Add symlink /usr/bin/flatzinc to fzn-gecode.
* Add recommends on minizinc to flatzinc.
2017-06-02 - Kari Pahula <kaol@debian.org>
gecode (4.4.0-5) unstable; urgency=medium
* Fix possible FTBFS with parallel invocation of bison and mv.  (Thanks
to Adrian Bunk <bunk@debian.org>) (Closes: #863936)
2017-03-19 - Kari Pahula <kaol@debian.org>
gecode (4.4.0-4) unstable; urgency=medium
* Fix FTBFS on ppc64el on conversion of long long unsigned int to
signed.  (Thanks to John Paul Adrian Glaubitz
<glaubitz@physik.fu-berlin.de>) (Closes: #858132)
* Add Build-Conflicts: libqt4-dev to force Qt5 usage.
* Add some lintian overrides for false positives on typo checking.
2015-07-19 - Kari Pahula <kaol@debian.org>
gecode (4.4.0-3) unstable; urgency=medium
* Library transition for GCC 5 (Closes: #791042)
* Change library package name suffix to 41v5.
2015-05-07 - Kari Pahula <kaol@debian.org>
gecode (4.4.0-2) unstable; urgency=medium
* Switch over to Qt5.
2015-05-01 - Kari Pahula <kaol@debian.org>
gecode (4.4.0-1) unstable; urgency=medium
* New upstream release (soname 41)
* Standards-Version 3.9.6 (no changes necessary).
* Drop patch fix-powerpcspe.patch, as it is included upstream.
* Add flex and bison to build deps and patch gecode.m4 to correctly
recognize bison 3 and add a required declaration to parser.yxx.
* Scrub a doxygen-added copy of jquery from libgecode-doc.  It's not
used by any of its html files.
2014-09-16 - Kari Pahula <kaol@debian.org>
gecode (4.2.1-2) unstable; urgency=medium
* Fix FTBFS on powerpcspe. (Closes: #730089)
* Standards-Version 3.9.5 (no changes necessary).
2013-11-09 - Kari Pahula <kaol@debian.org>
gecode (4.2.1-1) unstable; urgency=low
* New upstream release (soname 36)

See Also

Package Description
flawfinder_1.31-1_all.deb examines source code and looks for security weaknesses
fldiff_1.1+0-5_amd64.deb graphical diff program
fldigi_4.0.1-1_amd64.deb digital modem program for hamradio operators
flent_1.2.2-1_all.deb FLExible Network Tester for bufferbloat testing and more
flex-old-doc_2.5.4a-10ubuntu2_all.deb Documentation for an old flex (a fast lexical analyzer generator)
flex-old_2.5.4a-10ubuntu2_amd64.deb Old version of the fast lexical analyzer generator
flexbackup_1.2.1-6.3_all.deb Flexible backup tool for small to medium sized installations
flexbar_3.0.3-2_amd64.deb flexible barcode and adapter removal for sequencing platforms
flexc++_2.06.02-2_amd64.deb Flex-style scanner generator for C++
flexdll_4.01.0~20140328-1build6_amd64.deb OCaml cross-compiler based on mingw -- FlexDLL linker
flexloader_0.03-3build1_amd64.deb utility to configure SRAM based ALTERA devices
flexml_1.9.6-5_amd64.deb Fast validating XML processors and applications generator
flexpart_9.02-17_amd64.deb Particle Dispersion model for tracing air transport phenomena
flextra_5.0-8_amd64.deb Trajectory model for tracing air transport phenomena
flickcurl-doc_1.26-4_all.deb utilities to call the Flickr API from command line - documentation
Advertisement
Advertisement