News for hackers. Stuff that matters.

A comment on Logic Solvers in JavaScript.

Re:Logic Solvers in JavaScript by earleybird on Saturday March 28, 2015 @03:36PM (#9282489)
The author has been writing performant provers for a while :-)

https://scholar.google.com/citations?user=ElzaeUYAAAAJ

also Gandalf/Hobbit (SCM) http://www.cs.miami.edu/~tptp/CASC/19/SystemDescriptions.htm...

[ Parent | on HN ]

There are no comments on this comment yet.