v0.1.3

What's changed?

• CI: Add GitHub Actions workflow for building and testing on Linux and macOS.
• CI: Add GitHub Actions workflow for releasing Linux and macOS binaries. To release a new version, use the GitHub Workflow Dispatch feature.
• Format code with cargo fmt.

v0.1.2

This is a pre-release version and is subject to be updated at any time.

v0.1.1

Merge pull request #66 from anoma/rewrite_readme

Update README

v0.1.0-demo.1

Now have the capability of soliciting witnesses from file in JSON format

v.0.1.0.demo.2

Now searches for inputs at {filename}.inputs

v0.1.0

demo