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/parser.tab.hh
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.tab.cpp
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.hh
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/option.hh
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/table_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/table_bool.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/sum_pred.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/sort.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/roots.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/regular.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/redefinitions.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/range.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/precedence.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/partition_set.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/nvalue.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/minimum_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/member_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/member_bool.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/maximum_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/link_set_to_booleans.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/lex_lesseq_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/lex_less_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/inverse.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/int_set_channel.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/increasing_int.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/increasing_bool.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_low_up.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_low_up_closed.mzn
  • ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_closed.mzn