Skip to content

Commit

Permalink
prepare release 4.1.1
Browse files Browse the repository at this point in the history
  • Loading branch information
@kfriedberger
kfriedberger committed Jan 21, 2024
1 parent e8684b8 commit 8c935cb
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,10 @@ SPDX-License-Identifier: Apache-2.0

# JavaSMT ChangeLog

## JavaSMT 4.1.1

This patch release brings small fixes for Z3 and MathSAT.

## JavaSMT 4.1.0

This release brings support for the SMT solver OpenSMT (version 2.5.2).
Expand Down

0 comments on commit 8c935cb

Please sign in to comment.