[elephant-devel] Is memutil necessary for ele-clp?
Chun Tian (binghe)
binghe.lisp at gmail.com
Tue Apr 26 15:19:13 UTC 2011
Hi, dear elephant developer
I saw elephant always loading a libmemutil DLL, but is this necessary if I just use the CLP backend?
Thanks,
Chun Tian (binghe)
More information about the elephant-devel
mailing list