search

mitchellh / go-sat

SAT solver written in Go (golang).
MIT License
135 stars 7 forks source link

minor fixes #1

Closed ceh closed 7 years ago

ceh commented 7 years ago

Some trivial and minor fixes.

mitchellh commented 7 years ago

LGTM :) Thanks