/yices2_go_bindings

Golang bindings for yices2

Primary LanguageGoMIT LicenseMIT

License: MIT Go Report Card Build Status

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.