PiGoSAT
=======

Go (golang) bindings for Picosat, the satisfiability solver

Downloading
-----------

The project is hosted on [GitHub](https://github.com/wkschwartz/pigosat). You
can either download a [release](https://github.com/wkschwartz/PiGoSAT/releases)
or use "go get":

```bash
$ go get github.com/wkschwartz/pigosat
```

PiGoSAT is a wrapper around [Picosat](http://fmv.jku.at/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](https://github.com/wkschwartz/pigosat/issues), checking to see if one
exists already.

If you would like to contribute code, please
[fork](https://github.com/wkschwartz/PiGoSAT/fork) PiGoSAT and send a [pull
request](https://help.github.com/articles/using-pull-requests).

PiGoSAT
=======

Go (golang) bindings for Picosat, the satisfiability solver

Downloading
-----------

The project is hosted on [GitHub](https://github.com/wkschwartz/pigosat). You
can either download a [release](https://github.com/wkschwartz/PiGoSAT/releases)
or use "go get":

```bash
$ go get github.com/wkschwartz/pigosat
```

PiGoSAT is a wrapper around [Picosat](http://fmv.jku.at/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](https://github.com/wkschwartz/pigosat/issues), checking to see if one
exists already.

If you would like to contribute code, please
[fork](https://github.com/wkschwartz/PiGoSAT/fork) PiGoSAT and send a [pull
request](https://help.github.com/articles/using-pull-requests).

### Updating PicoSAT

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

Add instructions for updating PicoSAT
Add instructions for updating PicoSAT
