libgecode-dev_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 libgecode-dev=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 706f55d87f4fb37af783137a87a01dc5
SHA1 215f674f1723c48118a034dfd489599fc0ae4cf1
SHA256 5d2c926b530bb31c21047fca03a87dd9bce9d34a1b29f038317411cb3ebd610f
SHA512 05fb56309d4470c81405953fc7c7a6b550e73ccbf4f7d3209bebd0d1b8cfd8b06d92b86618ac4876d67fb4c7f7eb4df2a5196247c9f35acb01808ea27492c8b3

Depends

  • libgecode30 (= 3.7.1-3), libgecodegist30 (= 3.7.1-3), libgecodeflatzinc30 (= 3.7.1-3), libqt4-dev, libboost-dev

Suggests

  • libgecode-doc

Files

  • /usr/share/doc/libgecode-dev/copyright
  • /usr/include/gecode/support/timer.hpp
  • /usr/include/gecode/support/thread/windows.hpp
  • /usr/include/gecode/support/thread/thread.hpp
  • /usr/include/gecode/support/thread/pthreads.hpp
  • /usr/include/gecode/support/thread/none.hpp
  • /usr/include/gecode/support/thread.hpp
  • /usr/include/gecode/support/static-stack.hpp
  • /usr/include/gecode/support/sort.hpp
  • /usr/include/gecode/support/random.hpp
  • /usr/include/gecode/support/marked-pointer.hpp
  • /usr/include/gecode/support/macros.hpp
  • /usr/include/gecode/support/int-type.hpp
  • /usr/include/gecode/support/heap.hpp
  • /usr/include/gecode/support/exception.hpp
  • /usr/include/gecode/support/dynamic-stack.hpp
  • /usr/include/gecode/support/dynamic-queue.hpp
  • /usr/include/gecode/support/dynamic-array.hpp
  • /usr/include/gecode/support/config.hpp
  • /usr/include/gecode/support/cast.hpp
  • /usr/include/gecode/support/block-allocator.hpp
  • /usr/include/gecode/support/bitset.hpp
  • /usr/include/gecode/support/bitset-base.hpp
  • /usr/include/gecode/support/auto-link.hpp
  • /usr/include/gecode/support.hh
  • /usr/include/gecode/set/view/singleton.hpp
  • /usr/include/gecode/set/view/set.hpp
  • /usr/include/gecode/set/view/print.hpp
  • /usr/include/gecode/set/view/const.hpp
  • /usr/include/gecode/set/view/complement.hpp

Uploaded

almost 9 years ago

Package Size

479 KB

Installed Size

3.44 MB

Downloads

13

wget

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

Homepage

http://www.gecode.org/