-
Notifications
You must be signed in to change notification settings - Fork 2
Home
Abdalrhman M Mohamed edited this page Jun 17, 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 Kind 2 simulator (merge with VS Code LSP client).
- The VS Code LSP client (this repo).
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.