libgecodegist30_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 libgecodegist30=3.7.1-3

Gecode Interactive Search Tool library

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

Checksums

MD5 b2a84128579ce4c669ae951e626eb59c
SHA1 64a2cf834dec266c4661fccf81defd5462edf0fd
SHA256 aaeae00db7fa4b9611c9a39ee1616a6c2b5685b9ce289c0f2b8f6df59360a0fb
SHA512 ec2c118853d3bc5fdbe3870b96383aa560c6824839d5f10d5d82bae82e66775dd0a18b028b63fde63dbe34e80ad7a2367ba080dbd38e8da5ab4f24046614ddce

Depends

  • libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgecode30 (>= 3.7.1), libqtcore4 (>= 4:4.7.0~beta1), libqtgui4 (>= 4:4.5.3), libstdc++6 (>= 4.4.0)

Suggests

  • libgecode-dev

Files

  • /usr/share/doc/libgecodegist30/copyright
  • /usr/lib/libgecodegist.so.30.0
  • /usr/lib/libgecodedriver.so.30.0

Uploaded

almost 9 years ago

Package Size

130 KB

Installed Size

387 KB

Downloads

15

wget

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

Homepage

http://www.gecode.org/