gecode 5.1.0-2build1 source package in Ubuntu
Changelog
gecode (5.1.0-2build1) bionic; urgency=medium * No-change rebuild for mpfr soname change. -- Matthias Klose <email address hidden> Wed, 24 Jan 2018 21:22:26 +0000
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Bionic
- Original maintainer:
- Kari Pahula
- Architectures:
- any all
- Section:
- libs
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | libs |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gecode_5.1.0.orig.tar.gz | 3.1 MiB | f9885f97e0f80b54eaf1a8f9d0c419d831229a689619f6429c6148f5c50740d0 |
gecode_5.1.0-2build1.debian.tar.xz | 14.1 KiB | 257c051361ad301470822bdc267c31d1e9d5d7cfa1bfa546a2c720c94dd52d8c |
gecode_5.1.0-2build1.dsc | 2.1 KiB | 05a29fc7f5325a1ff3140349ef27abab2cf6af31d802c4eb0217fe63a323c361 |
Available diffs
- diff from 5.1.0-2 (in Debian) to 5.1.0-2build1 (332 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 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: 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.
.
This package has the API documentation and examples.
- 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: debug symbols for libgecode44
- libgecodeflatzinc44: Gecode support for FlatZinc modelling language
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.
.
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/>.
- libgecodeflatzinc44-dbgsym: No summary available for libgecodeflatzinc44-dbgsym in ubuntu cosmic.
No description available for libgecodeflatzi
nc44-dbgsym in ubuntu cosmic.
- libgecodegist44: Gecode Interactive Search Tool library
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.
.
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.
- libgecodegist44-dbgsym: No summary available for libgecodegist44-dbgsym in ubuntu cosmic.
No description available for libgecodegist44
-dbgsym in ubuntu cosmic.