A summary of the activities of the SMT-LIB initiative in the past year, including updates to benchmarks, new features, the announcement of the imminent release of SMT-LIB version 2.7, an an update on SMT-LIB version 3.0.
