# Changelog

veriT follows Calendar Versioning. Version numbers are of the form
YYYY.0M.MICRO i.e. year, zero-padded month, and patch level.
Compatibility is only assured between versions with the same year and
month. The performance on individual benchmarks might even fluctuate
between patch levels.

## [2020.10] - 2020-10-14

This release is motivated by the inclusion of veriT as a backend for proof
reconstruction in Isabelle.  It is the first release since 2016. Since
the last stable release of veriT, the solver has seen many changes. The
changes mainly affect quantifier instantiation and proof production.