Skip to content

0.2.0 Release (Experimental)
Compare
Choose a tag to compare
@kjcjohnson kjcjohnson released this 01 May 02:31
· 44 commits to main since this release
v0.2.0
8ffcb5e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

0.2.0 Experimental Release

For experimentation and evaluation only! Everything is subject to change in the future. The 0.2.0 release adds:

  • New command line interface. See the README for examples
  • Support for relational specifications, using CEGIS if possible, or falling back to an SMT verifier
  • Solver fixes and enhancements
  • Writing benchmark data to JSON files and generating reports from them

If you have any questions, please make a post in the repository Discussions! I want to hear about any pain points, obtuse error messages, and general oddities so they can be addressed in a future release.

Installation Instructions

  1. Download the package for your operating system from the latest release.
    Choose the bin+all package for an all-in-one zip including the SemGuS Parser and cvc5, or another bin
    package if you already have the SemGuS Parser or cvc5 installed and in your PATH.

  2. Unzip the archive

Note that the Linux release requires a recent version of glibc: it will probably run on Ubuntu 22.04 LTS, but not on Ubuntu 20.04 LTS.

Full Changelog: v0.1.0...v0.2.0

Assets 11
Loading