Aavailable on the Visual Studio Marketplace
Limboole VS Code Extension#
A Visual Studio Code extension for the Limboole Boolean Satisfiability Solver. The extension provides a user-friendly interface to run the Limboole solver in the VS Code editor. Additionally, it supports syntax highlighting and language server features for Limboole files.
soaibsafi/limboole-vscode
Visual Studio Code extension for Limboole
TypeScript
0
0