Skip to content

Kind 2 v2.0.0
Compare
Choose a tag to compare
@github-actions github-actions released this 21 Jun 22:40
· 636 commits to develop since this release
v2.0.0
e94daba

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

  • Support for SMTInterpol as a backend solver.
  • New IC3 engine based on Implicit (Predicate) Abstraction.
  • Support for subrange types with an open end.

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