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/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
Uploaded
5 months agoPackage Size
19.4 MBDownloads
226
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"