libgecode30_3.7.1-3_amd64.deb

STEP 1: Have you installed this repository?

If not, run this installation script command:

curl -s https://packagecloud.io/install/repositories/axsuul/gecode/script.deb.sh | sudo bash
copy
curl -s https://packagecloud.io/install/repositories/axsuul/gecode/script.deb.sh | sudo bash

STEP 2: Install the package
sudo apt-get install libgecode30=3.7.1-3

generic constraint development environment

Full description:
  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.

Checksums

MD5 5b03e4a8be6d6cf47202e9efa70e24b6
SHA1 17c5575e03deff1370921fcfa07390aaa67c5c89
SHA256 f41e3f3e273ead6127a8910713141e66ff647729752d2ed538d367eb1546f047
SHA512 28c907ea733589c3d23e6e6d4175a878690ed4ac324bcf1a813796f187f3699dfb8c1b59c90abba41749b1503ec2f7180cc23a2e67d7b3df1691466f9f32a2c8

Depends

  • libc6 (>= 2.3.2), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1)

Suggests

  • libgecode-dev

Files

  • /usr/share/lintian/overrides/libgecode30
  • /usr/share/doc/libgecode30/copyright
  • /usr/share/doc/libgecode30/changelog.Debian.gz
  • /usr/lib/libgecodesupport.so.30.0
  • /usr/lib/libgecodeset.so.30.0
  • /usr/lib/libgecodesearch.so.30.0
  • /usr/lib/libgecodeminimodel.so.30.0
  • /usr/lib/libgecodekernel.so.30.0
  • /usr/lib/libgecodeint.so.30.0

Uploaded

almost 9 years ago

Package Size

2.73 MB

Installed Size

10.6 MB

Downloads

13

wget

wget --content-disposition "https://packagecloud.io/axsuul/gecode/packages/ubuntu/trusty/libgecode30_3.7.1-3_amd64.deb/download.deb?distro_version_id=20"

Homepage

http://www.gecode.org/