Skip to content
Abdalrhman Mohamed edited this page Jun 10, 2022 · 2 revisions

The VS Code extension for Kind 2 is composed of the following tools

  • An SMT solver, currently Z3.
  • Kind 2's executable.
  • The Kind 2 Java API.
  • The LSP server for Kind 2.
  • The VS Code LSP client.

This wiki page and others explains the dependencies between those tools and the development process for the extension. This page also explains the steps to take to package and publish the extension in the extension store for VS Code.

Clone this wiki locally