3 ms·
I'm not well-versed on this topic, but I believe this [1] is presently the state of the art. I'd be curious to know whether or not Z3 performance beats GNU's pr
by benjamincburns 12y ago
I'm not well-versed on this topic, but I believe this [1] is presently the state of the art. I'd be curious to know whether or not Z3 performance beats GNU's prolog implementation for similar problem sets.
1: http://www.gprolog.org/#TOChead http://www.gprolog.org/#TOChead