v2.0.0-alpha2: Verifier update and theory of strings · SemGuS-git Semgus-Parser · Discussion #36 · GitHub

kjcjohnson
Feb 25, 2022
Maintainer

What's Changed

SMT-LIB2 format and JSON converter by @kjcjohnson in SMT-LIB2 format and JSON converter #31
Documentation Updates and Fixes by @kjcjohnson in Documentation Updates and Fixes #34

Full Changelog: v1.1.0...v2.0.0-alpha2

This discussion was created from the release v2.0.0-alpha2: Verifier update and theory of strings.

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment