↓ Skip to main content

Limboole

VS Code Extension for Limboole ↗ ↖
Formal Methods Vscode Sat-Solving Limboole
A Visual Studio Code extension for the Limboole Boolean Satisfiability Solver. It supports syntax highlighting and language server features for Limboole files.