↓ Skip to main content

Lsp

loading · loading ·
SMT-LIB LSP

SMT-LIB LSP ↗ ↖

Formal Methods SMT Langium Lsp
A language server for the SMT-LIB language, providing features like syntax highlighting, autocompletion, and error checking for SMT-LIB files in various editors. It is based on Langium workbench and integrates with the Z3 SMT solver.
Alloy LSP

Alloy LSP ↗ ↖

Formal Methods Alloy Langium Lsp
A language server for the Alloy specification language, providing features like syntax highlighting, autocompletion, and error checking for Alloy files in various editors. It is based on Langium workbench and integrates with the Alloy Analyzer.