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/CHR
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
..
chr try to reduce overheads when running with goal expansion enabled. 2004-12-05 05:01:45 +00:00
CHR.LICENSE This commit was generated by cvs2svn to compensate for changes in r4, 2001-04-09 19:54:03 +00:00
chr.pl This commit was generated by cvs2svn to compensate for changes in r4, 2001-04-09 19:54:03 +00:00
chr.yap cannot assume that meta-call argument is always a goal 2002-01-02 23:39:10 +00:00
Makefile.in revert sbag change 2002-01-02 23:59:07 +00:00