Gophersat is an efficient SAT and pseudo-boolean solver written purely in Go, developed by the CRIL...

Tokens:6,780
Snippets:76
Trust Score:8.9
License:MIT
Update:1 week ago
Tokens:
Raw