.. | ||
bdd | ||
chr | ||
clp_examples | ||
CLPBN | ||
clpqr | ||
cplint | ||
cuda | ||
examples | ||
gecode | ||
jpl | ||
meld | ||
myddas | ||
prism | ||
ProbLog | ||
prosqlite | ||
pyswip | ||
python | ||
raptor | ||
real | ||
swi-minisat2 | ||
swig | ||
udi | ||
xml | ||
yap-lbfgs | ||
clpfd.yap | ||
CMakeLists.txt | ||
configure.in | ||
Dialect.defs.in | ||
Makefile.defs.in | ||
Makefile.in | ||
Makefile.sav | ||
md | ||
README |
Development of gecode/yap takes place in: git@github.com:denys-duchier/yap-6.3.git which tracks the official yap repository and is also regularly pulled into it. see: https://github.com/denys-duchier/yap-6.3 Enquiries/bug reports can be made either on the yap mailing list or to the author denys.duchier /AT/ univ-orleans.fr. What litle documentation there is can be found in file DOC.txt.