GitHub repository: timbeurskens/gobdd
Primary language: Go
Description: An ROBDD & CDCL based SAT solver