gecode 5.1.0-2 source package in Ubuntu
Changelog
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) -- Kari Pahula <email address hidden> Sat, 29 Jul 2017 15:41:24 +0300
Upload details
- Uploaded by:
- Kari Pahula
- Uploaded to:
- Sid
- Original maintainer:
- Kari Pahula
- Architectures:
- any all
- Section:
- libs
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gecode_5.1.0-2.dsc | 2.1 KiB | 1346b7b786d4c430678ba8c295b16bbaf13df4d330eac7f48b17372bf5088f59 |
gecode_5.1.0.orig.tar.gz | 3.1 MiB | f9885f97e0f80b54eaf1a8f9d0c419d831229a689619f6429c6148f5c50740d0 |
gecode_5.1.0-2.debian.tar.xz | 14.0 KiB | ec789bd2a4a11adf46e3ad9ce655faf9cd757482444cf22538756cf70c89b09b |
Available diffs
- diff from 4.4.0-5 to 5.1.0-2 (954.9 KiB)
- diff from 5.1.0-1 to 5.1.0-2 (2.5 KiB)
No changes file available.
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 4.4.0
supports the FlatZinc language and MiniZinc global constraint
definitions of MiniZinc version 1.6.0.
- flatzinc-dbgsym: debug symbols for flatzinc
- libgecode-dev: generic constraint development environment
Gecode is a toolkit for developing constraint-based systems and
applications. Gecode provides a constraint solver with
state-of-the-art performance while being modular and extensible.
.
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.
- libgecode-doc: No summary available for libgecode-doc in ubuntu artful.
No description available for libgecode-doc in ubuntu artful.
- libgecode44: generic constraint development environment
Gecode is a toolkit for developing constraint-based systems and
applications. Gecode provides a constraint solver with
state-of-the-art performance while being modular and extensible.
.
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.
- libgecode44-dbgsym: No summary available for libgecode44-dbgsym in ubuntu artful.
No description available for libgecode44-dbgsym in ubuntu artful.
- libgecodeflatzinc44: No summary available for libgecodeflatzinc44 in ubuntu artful.
No description available for libgecodeflatzinc44 in ubuntu artful.
- libgecodeflatzinc44-dbgsym: debug symbols for libgecodeflatzinc44
- libgecodegist44: No summary available for libgecodegist44 in ubuntu artful.
No description available for libgecodegist44 in ubuntu artful.
- libgecodegist44-dbgsym: debug symbols for libgecodegist44