cvc5-1.0.2

cvc5-bot released this 26 Aug 17:15

· 1694 commits to main since this release

Changes

Previously, it was not possible to share Sort, Term, Op, Grammar and datatype objects between Solver instances. This is now allowed for solvers that belong to the same thread.

Assets 6