v5.3.0
This release adds theta-core
-level support for the Enum
type. Thank you @RipplB!
Modified subprojects (since v5.2.1):
common/core
solver/solver-javasmt
solver/solver-smtlib
solver/solver-z3
solver/solver-z3-legacy
xsts/xsts
xsts/xsts-analysis
xta/xta