libgecode30_3.7.1-3_amd64.deb
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 agoPackage Size
2.73 MBInstalled Size
10.6 MBDownloads
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"