Vscode
Sep 4, 2025
VS Code Extension for SMT-LIB (Z3)
A Visual Studio Code extension for the SMT Z3 theorem prover. The extension provides a user-friendly interface to run the Z3 solver in the VS Code editor without installing Z3 separately.
Sep 2, 2025
VS Code Extension for Limboole
A Visual Studio Code extension for the Limboole Boolean Satisfiability Solver. It supports syntax highlighting and language server features for Limboole files.