News for hackers. Stuff that matters.

A comment on Gophersat: A SAT solver written in Go. Parent comment

Re:Gophersat: A SAT solver written in Go by sacado2 on Thursday September 28, 2017 @04:54PM (#15360625)
For the moment, it is in the sat4j ballpark. Parallelization will probably happen in the remote future.
[ Parent | on HN ]

There are no comments on this comment yet.