wkschwartz/pigosat — pull request #2 by justinfx (2014-08-16 06:16:38+00:00)
Title: Flatten and simplify the picosat C lib (make go-gettable)

Replaces merge request #1

Makes pigosat go-gettable by moving the C source next to the Go source and removing the extra manual build step.