You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to kind2-announce
Dear all,
We are happy to announce the new official release (v1.7.0) of Kind 2, an open-source, multi-engine, SMT-based automatic model checker for safety properties of Lustre programs [1].
This release includes several bug fixes and the following new features:
- Support for new SMT solver cvc5. - A revamp of Kind 2's proof production facility.
Please refer to the CHANGES document [2] for a more detailed description, and to the user's documentation [3] for further details.
The latest version of Kind 2 can be downloaded from https://github.com/kind2-mc/kind2/releases and is distributed in source form, as well as binaries for both Linux and macOS. It can also be installed through OPAM.
If you want to participate in discussions with developers and other users of Kind 2, you are encouraged to join the kind2-users group at https://groups.google.com/d/forum/kind2-users