dep-selector-libgecode-1.3.5.gem

STEP 1: Have you installed this repository?

If not, run this installation script command:

curl -s https://packagecloud.io/install/repositories/cinc-project/unstable/script.gem.sh | bash
copy
curl -s https://packagecloud.io/install/repositories/cinc-project/unstable/script.gem.sh | bash

STEP 2: Install the package
sudo gem install dep-selector-libgecode -v=1.3.5

Installs a vendored copy of Gecode suitable for use with dep-selector

Checksums

MD5 f71c3789f9127459250ec6d0c2205e70
SHA1 1cc7ee20ea412c7111ebb263bf612d9414b7c4b4
SHA256 69969b662eede37e887efc6e0fe4ebe0fa96a84e167cf57cd20ae8f27c0e7e66
SHA512 f585eb40595799c34a027d8c80a3dee2c022cdab9075692e32d3791afcc84bcaa31ea487fa396b12caad4fd600abfc8a028b27291718c4b02240070a8a30ceef

Development Dependencies

  • bundler (>= 0)
  • rake (>= 0)

Files

  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/gecode.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/exactly_set.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/exactly_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/distribute.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/disjoint.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/diffn.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/decreasing_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/decreasing_bool.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/cumulative.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/count.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/circuit.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing_load.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing_capa.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_most_set.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_most_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_least_set.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_least_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/among.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/all_equal_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/all_different_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/lexer.yy.cpp
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/lexer.lxx
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/flatzinc.cpp
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/test_myplugin.fzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.pro
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.hh
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.cpp
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/conexpr.hh
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/CHANGES