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