Brenda is a boolean expression solver for Go AST
dave
A fast SAT solver
go-air
gophersat, a SAT solver in Go
crillab
