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/CLPQR
vsc 5143aebb01 try to reduce overheads when running with goal expansion enabled.
CLPBN fixes
Handle overflows when allocating big clauses properly.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1193 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-12-05 05:01:45 +00:00
..
clpq new version of class.pl 2002-05-24 00:48:51 +00:00
clpqr try to reduce overheads when running with goal expansion enabled. 2004-12-05 05:01:45 +00:00
clpr fix use_modules to deal with modules; 2002-01-26 05:37:32 +00:00
clpq.pl This commit was generated by cvs2svn to compensate for changes in r4, 2001-04-09 19:54:03 +00:00
clpq.yap new file 2001-11-15 17:14:50 +00:00
CLPQR.LICENSE This commit was generated by cvs2svn to compensate for changes in r4, 2001-04-09 19:54:03 +00:00
clpr.pl new module system. BEWARE! BEWARE! BEWARE! 2001-11-15 00:01:43 +00:00
clpr.yap new module system. BEWARE! BEWARE! BEWARE! 2001-11-15 00:01:43 +00:00
Makefile.in move arch-independent file to share 2001-11-26 16:05:19 +00:00