Contents

Qecode - A quantified constraint solver

Version data entries

26 entries across 26 versions & 2 rubygems

Version	Path
dep-selector-libgecode-1.3.5	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.3.1	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.3.0-x86_64-linux	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.3.0-x86_64-darwin-15	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.3.0	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.2.0	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.1.0	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.1.0.beta.1	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
gecoder-with-gecode-1.1.1.1	ext/gecode-2.2.0/contribs/qecode/shortdesc.ac
gecoder-with-gecode-1.1.1	ext/gecode-2.2.0/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.0.2	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.0.1	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.0.0	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.0.0.rc.1	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.0.0.rc.0	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.0.0.alpha.2	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.0.0.alpha.1	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
dep-selector-libgecode-1.0.0.alpha.0	ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac
gecoder-with-gecode-1.1.0	ext/gecode-2.2.0/contribs/qecode/shortdesc.ac
gecoder-with-gecode-0.8.0	ext/gecode-2.1.1/contribs/qecode/shortdesc.ac