1.1.0
- 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#toStringnow produces proper SMT-Lib S-expressions instead of an arbitrary string format- Various bits of code cleanup