Gophersat is a SAT and pseudo-boolean solver written in go. pour résoudre des problèmes SAT, MaxSAT et pseudo-booléens. Gophersat is rather efficient, i.e on typical SAT benchmarks it runs about 2 to 5 times slower than top-level solvers (namely, glucose or minisat) from which it is strongly inspired. It can also solve MAXSAT problems, and pseudo-boolean decision and optimization problems.

It can be used as a library in a go program, or as a standalone solver.

Visit the web page of the software