Skip to content

Kind 2 v1.8.0
Compare
Choose a tag to compare
@github-actions github-actions released this 10 Mar 04:41
v1.8.0
dca9cf9

In addition to several improvements and bug fixes, this release includes the following new functionalities:

  • Add syntax for If-Then-Else constraints and Frame Condition constraints.
  • Add support for SMT solver Bitwuzla.
  • Add option --flatten_proof to break down LFSC proofs into a sequence of lemmas.

Please refer to the CHANGES file for a more detailed description and to the user documentation for more details.

The Linux and macOS binaries available here are statically linked to the ZeroMQ library.

Assets 6
Loading