You'll want to wait for core.logic to get the cKanren extensions before
trying that. Even an optimized core.logic version takes about 14-16s.
David
On Thu, Apr 12, 2012 at 12:58 PM, Nicolas Buduroi wrote:
> Hi, I translated[1]the solution to the "send more money" logic puzzle from
> the cKanren
Hi, I translated[1]the solution to the "send more money" logic puzzle from
the cKanren paper in core.logic and I was wondering about its expected
performance. I wasn't patient enough to run it without giving it some
clues, giving it the S E N D digits make it run in around 36s on my
machine, but th