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

libgecodeflatzinc32

Gecode support for FlatZinc modelling language

Variants:
Gecode is an attempt to construct an open, free, portable, accessible, and efficient environment for developing constraint-based systems and applications.

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/>.

Homepage:
Package version:3.7.3-1
Architecture:amd64
Distribution:Debian
Filename:libgecodeflatzinc32_3.7.3-1_amd64.deb

/usr/share/doc/libgecodeflatzinc32/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/libgecodeflatzinc32/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/libgecodeflatzinc32/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 libgecodeflatzinc32_3.7.3-1_amd64.deb

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

Download libgecodeflatzinc32_3.7.3-1_amd64.deb

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