This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/packages
Vitor Santos Costa d78a55ca83 fix cudd support.
2012-07-08 07:45:16 -05:00
..
bdd fix cudd support. 2012-07-08 07:45:16 -05:00
chr@0ab035ceba allow installing examples by defult. 2012-07-07 09:43:07 -05:00
clib@36cf483210 update package version. 2012-06-22 19:00:45 +01:00
CLPBN Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-07-07 09:54:27 -05:00
clpqr@8ff7165c8e new versions of packages. 2012-03-27 14:59:22 +01:00
cplint no copy of learning algorithms subdirectories 2011-10-31 14:26:18 +01:00
http@6bb5b5ff20 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
jpl@65e5f7a350 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
meld fix example path in meld. 2012-07-06 18:58:35 -05:00
pldoc@e99815e7c5 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
plunit@1e8f46b268 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
prism allow installing examples by defult. 2012-07-07 09:43:07 -05:00
ProbLog fix cudd support. 2012-07-08 07:45:16 -05:00
pyswip mode changes 2011-07-25 17:09:28 +01:00
R@a48f0a8a78 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
RDF@2d0bbe41cd update packages. 2012-02-13 09:43:50 +00:00
real@91ac196170 update package version. 2012-06-22 19:00:45 +01:00
semweb@5325a969b3 update package version. 2012-06-22 19:00:45 +01:00
sgml@3550209643 update package version. 2012-06-22 19:00:45 +01:00
swi-minisat2 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
udi fix YAP_AttOfVar 2012-05-21 17:24:40 +01:00
xml allow installing examples by defult. 2012-07-07 09:43:07 -05:00
zlib@f9abc09272 update package version. 2012-06-22 19:00:45 +01:00
Dialect.defs.in better SWI support. 2012-02-13 09:41:22 +00:00
Makefile.defs.in better SWI support. 2012-02-13 09:41:22 +00:00