CNF and DIMACS in Go
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
CNF and DIMACS in Go. Inspired by mitchellh/go-sat.
License:MIT License