Awesome

yices2_go_bindings

Golang bindings for yices2.

Installation

To install, simply do

go get github.com/ianamason/yices2_go_bindings/cmd/yices_info

Coming soon(ish):

• A more go-ish layer atop the cgo interface.

• Documentation.

• Examples

• Tests for the new 2.6.2 bindings.