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
2009-11-23 13:41:07 +00:00
..
chr@c325e4564b fix missing stripostfix, and add stricmp (although one should use strcasecmp). 2009-11-23 13:41:07 +00:00
CLPBN minor changes to CLP(BN). 2009-10-21 00:05:23 +01:00
clpqr@e3ee70d597 support exporting top-level-work as absolute path 2009-05-02 14:11:54 -05:00
cplint added PICL program 2009-06-27 11:54:33 +02:00
jpl@a2d2f03107 fix missing stripostfix, and add stricmp (although one should use strcasecmp). 2009-11-23 13:41:07 +00:00
PLStream fix missing stripostfix, and add stricmp (although one should use strcasecmp). 2009-11-23 13:41:07 +00:00
plunit port of SWI-Prolog's plunit. 2009-11-23 10:55:10 +00:00
ProbLog fix use of rm * when we have lots of examples. 2009-11-11 12:36:54 +00:00
sgml fix passing LD 2009-10-16 08:09:50 +01:00
swi-minisat2 CXX not CPP, you idiot! 2009-11-18 09:53:38 +00:00
udi updates to UDI package 2009-04-02 17:34:42 +01:00