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/CLPBN
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
..
clpbn try to reduce overheads when running with goal expansion enabled. 2004-12-05 05:01:45 +00:00
clpbn.yap try to reduce overheads when running with goal expansion enabled. 2004-12-05 05:01:45 +00:00
Makefile.in add main Makefile for CLPBN 2004-07-23 19:10:11 +00:00