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
2010-02-22 19:06:35 -06:00
..
chr@f6bb782126 make cut_c default. 2010-01-15 15:09:18 +00:00
CLPBN minor changes to CLP(BN). 2009-10-21 00:05:23 +01:00
clpqr@e3ee70d597 fix hashing over empty atoms (obs from Jose Santos). 2010-01-21 15:21:26 +00:00
cplint added PICL program 2009-06-27 11:54:33 +02:00
jpl@d9614e99dc WINDOWS release support 2010-02-22 19:06:35 -06:00
PLStream missing PL_unify_chars (just copied from SWI). 2010-02-22 22:01:02 +00:00
plunit fix bad library order 2010-01-15 01:02:24 +00:00
ProbLog fix install of ProbLog. 2010-01-15 00:31:26 +00:00
sgml make SWI-Prolog get YAP stuff from include/Yap at run-time. 2010-01-15 14:39:03 +00:00
swi-minisat2 make SWI-Prolog get YAP stuff from include/Yap at run-time. 2010-01-15 14:39:03 +00:00
udi updates to UDI package 2009-04-02 17:34:42 +01:00