• Now supporting parametric sorts
• In line with the 2-23-24 version of Semgus-Parser

• 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

• Added a variables field to SemanticRule that keeps input/output annotations

• Added support for bit vector literals in SMT formulae
• Added support for indexed identifiers, e.g. for bit vector types indexed by width
• Added support for horn clause events without input/output variable lists
• Deserialization exceptions now retain their stack traces correctly when propagating
• The main class can now parse stream-type SemGuS JSON (in addition to batch-type)

Initial release