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.