Z3 Extension for Visual Studio Code

Features

• Syntax highlighting for SMT-LIB2 files (.smt2, .smt) from SMT.tmbundle
• Execute SMt-LIB2 files with Z3 without explicitly installing Z3

Usage

For executing SMT-LIB2 files, open a .smt2 or .smt file and click on the ▶ Execute button in the top right corner of the editor. The result will be displayed in the output window. You can also open the command palette (Ctrl+Shift+P) and type Z3: Execute.

License

This extension is licensed under the MIT License. See LICENSE for more information.