Gophersat: A SAT solver written in Go

Re:Gophersat: A SAT solver written in Go by bhoessen on Thursday September 28, 2017 @04:07PM (#15360292)

What about performances versus minisat/glucose/lingeling/... Do you plan to parallelize it? If so, using which technique

[ Parent | on HN ]

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 ]