{ KIND }

Download

The most recent version of KIND is distributed as a tarball. To compile and install KIND follow the instructions in the included INSTALL file. You will need a compatible SMT solver. Currently KIND supports Yices and CVC3:

• Yices, a recent version with GMP statically linked.
• CVC3, version 1.5 or later.

Currently the most stable and efficient version utilizes a wrapper version of Yices that needs to be compiled (see the included INSTALL file for instructions).

Available Versions:

• KIND 1.8.6b.
• KIND 1.8.4b.
• KIND 1.8.4.
• KIND 1.8.2.
• KIND 1.8.1.
• KIND 1.8.
• KIND 1.7.4.
• KIND 1.7.3.
• KIND 1.7.2.
• KIND 1.7.

The above distributions contain the following tools:

• PKIND (Parallel KIND).
• KIND (Sequential KIND).
• KIND-INV (An offline invariant generator).

The following version is the one presented at FMCAD08. [KIND 1.0].

Binaries:

• Linux version
• Mac OSX version