gecode 3.7.1-3 source package in Ubuntu
Changelog
gecode (3.7.1-3) unstable; urgency=low * Patch channel constraint posting bug (http://www.gecode.org/pipermail/users/2011-October/003453.html) * Patch sorted constraint seg faults with empty arrays (http://www.gecode.org/pipermail/users/2011-November/003456.html) -- Ubuntu Archive Auto-Sync <email address hidden> Tue, 13 Dec 2011 09:42:34 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Precise
- Original maintainer:
- Kari Pahula
- Architectures:
- any all
- Section:
- libs
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Precise | release | universe | libs |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gecode_3.7.1.orig.tar.gz | 1.5 MiB | 49d2c61424dd0d78ede1a1c0ad2ddd7582a71b91f995d4f3ceadcace91f445ab |
gecode_3.7.1-3.debian.tar.gz | 12.2 KiB | bfb24a9a4995a19cb347a48a8a1af5d159a9981b2915534e8a814203989b76fa |
gecode_3.7.1-3.dsc | 1.4 KiB | 499fc697378e1b5abae3729915d41669e271bebed818fed912a33c740effb6a0 |
Available diffs
- diff from 3.7.1-2 to 3.7.1-3 (925 bytes)
Binary packages built by this source
- flatzinc: constraint problem modelling language
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.
- libgecode-dev: No summary available for libgecode-dev in ubuntu quantal.
No description available for libgecode-dev in ubuntu quantal.
- libgecode-doc: generic constraint development environment
Gecode is an attempt to construct an open, free, portable, accessible,
and efficient environment for developing constraint-based systems and
applications.
.
Gecode is radically open for programming: it can be easily
interfaced to other systems. It supports the programming of new
propagators (as implementation of constraints), branching strategies,
and search engines. New variable domains can be programmed at the same
level of efficiency as finite domain and integer set variables that
come predefined with Gecode.
.
This package has the API documentation and examples.
- libgecode30: No summary available for libgecode30 in ubuntu quantal.
No description available for libgecode30 in ubuntu quantal.
- libgecodeflatzinc30: Gecode support for FlatZinc modelling language
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/>.
- libgecodegist30: Gecode Interactive Search Tool library
Gecode is an attempt to construct an open, free, portable, accessible,
and efficient environment for developing constraint-based systems and
applications.
.
This package contains libgecodegist, a graphical debugging tool, and
libgecodedriver, a set of helper classes for writing standalone
programs. They have been separated from the main Gecode library
package to avoid pulling in Qt as a dependency.