↓ Skip to main content

Langium

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.