Filewatcher File Search File Search
Catalog
Content Search
» » » » »

flatzinc

constraint problem modelling language

Variants:
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 3.7.1 supports the FlatZinc language and MiniZinc global constraint definitions of MiniZinc version 1.4.0.

Homepage:
Package version:3.7.3-1
Architecture:s390x
Distribution:Debian
Filename:flatzinc_3.7.3-1_s390x.deb

/usr/share/doc/flatzinc/changelog.Debian.gz

gecode (3.7.3-1) unstable; urgency=low

  * New upstream release (soname 32)

 -- Kari Pahula <kaol@debian.org>  Sun, 01 Apr 2012 00:16:09 +0300

gecode (3.7.2-1) unstable; urgency=low

  * New upstream release (soname 31)
  * Standards-Version 3.9.3 (no changes necessary).
  * Use cdbs and dh_autoreconf.
  * Multi-Arch: same.
  * Remove unused libboost-dev from build deps.

 -- Kari Pahula <kaol@
more»

/usr/share/doc/flatzinc/changelog.gz

Changelog for Gecode
==============================================================================

Changes in Version 3.7.3 (2012-03-23)

Scope: This release fixes some bugs, mostly in the FlatZinc interpreter and library.
 
- Range and value iterators
  - Bug fixes
    - Fixed segfault in NaryUnion iterator.
      (major, thanks to Jean-No´┐Żl Monette)

-------------------------------------------
more»

/usr/share/doc/flatzinc/copyright

This package was debianized by Kari Pahula <kaol@debian.org> on
Thu, 22 Dec 2005 11:18:54 +0200.

It was downloaded from http://www.gecode.org/download.html

Copyright Holders:
     * 2002-2011 Christian Schulte <schulte@gecode.org>
     * 2004-2012 Guido Tack <tack@gecode.org>
     * 2007-2008 Niko Paltzer <nikopp@ps.uni-sb.de>
     * 2005-2010 Mikael Lagerkvist <lagerkvist@gecode.org>
     * 201
more»

Browse inside flatzinc_3.7.3-1_s390x.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download flatzinc_3.7.3-1_s390x.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com