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 Pocket 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

View changes file

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