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:

The above distributions contain the following tools: The following version is the one presented at FMCAD08. [KIND 1.0].


counter for vBulletin