dep-selector-libgecode-1.3.5.gem
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
Uploaded
4 months agoPackage Size
19.4 MBDownloads
202
wget
wget --content-disposition "https://packagecloud.io/cinc-project/unstable/packages/gems/dep-selector-libgecode-1.3.5.gem/download.gem?distro_version_id=rubygem"