Best 3 Boolean Formulas Open Source Projects

Gophersat

gophersat, a SAT solver in Go

Gini

A fast SAT solver

Dave Brenda

Brenda is a boolean expression solver for Go AST