github.com/timbeurskens/gobdd (go): An ROBDD & CDCL based SAT solver
Keywords: bdd|boolean-algebra|cdcl|cnf|cnf-clauses|sat|sat-solver|smtlib|tseitin-transformation