PiGoSAT

Go (golang) bindings for Picosat, the satisfiability solver

Downloading

The project is hosted on GitHub. You can either download a release or use "go get":

$ go get github.com/wkschwartz/pigosat

PiGoSAT is a wrapper around Picosat, whose C source files are included in this repository.

Contributing

If you notice a bug or would like to request a feature, please file an issue ticket, checking to see if one exists already.

If you would like to contribute code, please fork PiGoSAT and send a pull request.

Updating PicoSAT

Replace picsoat.h, picosat.c, and update PicosatVersion in pigosat.go. Copy LICENSE from PicoSAT to LICENSE.picosat in PiGoSAT.