Re: Logic puzzle: send more money performance

2012-04-12 Thread David Nolen
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

Logic puzzle: send more money performance

2012-04-12 Thread Nicolas Buduroi
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