https://github.com/sri-csl/yices2_go_bindings

Golang bindings for yices2
https://github.com/sri-csl/yices2_go_bindings

Last synced: 5 months ago
JSON representation

Golang bindings for yices2

• Host: GitHub
• URL: https://github.com/sri-csl/yices2_go_bindings
• Owner: SRI-CSL
• License: mit
• Fork: true (ianamason/yices2_go_bindings)
• Created: 2019-11-17T19:46:57.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2023-01-20T19:52:36.000Z (over 3 years ago)
• Last Synced: 2025-08-03T00:08:18.852Z (11 months ago)
• Language: Go
• Size: 154 KB
• Stars: 7
• Watchers: 3
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
[![License: MIT](https://img.shields.io/badge/License-MIT-blueviolet.svg)](https://opensource.org/licenses/MIT)

[![Go Report Card](https://goreportcard.com/badge/github.com/ianamason/yices2_go_bindings)](https://goreportcard.com/report/github.com/ianamason/yices2_go_bindings)

[![Build Status](https://travis-ci.org/ianamason/yices2_go_bindings.svg?branch=master)](https://travis-ci.org/ianamason/yices2_go_bindings)

# 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.