Davis Putnam Go Automated Theorem Prover based on the Davis-Putnam algorithm written in the Go programming language See Also: https://github.com/astonshane/davisputnam License MIT