https://github.com/soaibsafi/smt-z3-vscode

VSCode extension for SMT2 language with Z3 solver
https://github.com/soaibsafi/smt-z3-vscode

smt smt-lib vscode-extension z3

Last synced: 13 days ago
JSON representation

VSCode extension for SMT2 language with Z3 solver

• Host: GitHub
• URL: https://github.com/soaibsafi/smt-z3-vscode
• Owner: soaibsafi
• License: mit
• Created: 2024-09-16T20:57:35.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2024-12-15T11:32:14.000Z (19 days ago)
• Last Synced: 2024-12-15T12:26:16.191Z (19 days ago)
• Topics: smt, smt-lib, vscode-extension, z3
• Language: TypeScript
• Homepage: https://marketplace.visualstudio.com/items?itemName=Soaibuzzaman.smt-z3
• Size: 57.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Z3 Extension for Visual Studio Code

## Features

- Syntax highlighting for SMT-LIB2 files (`.smt2`, `.smt`) from [SMT.tmbundle](https://github.com/SRI-CSL/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](LICENSE) for more information.