Skip to content

Latest commit

 

History

History
14 lines (8 loc) · 622 Bytes

README.md

File metadata and controls

14 lines (8 loc) · 622 Bytes
Raw

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.