1.1.0

phantamanta44 released this 14 Oct 05:38

· 1 commit to main since this release

3bc05db

Now targeting Java 17 so that we can use sealed interfaces as ADTs
Added support for function and datatype declaration events as defined in SemGuS-git/Semgus-Parser at d8f46bf
SmtTerm#toString now produces proper SMT-Lib S-expressions instead of an arbitrary string format
Various bits of code cleanup

Assets 2