Limboole Extension for Visual Studio CodeLimboole is a tool for checking satisfiability and tautology in arbitrary structural boolean formulas, and can also translate these problems into CNF. For more information, see the Limboole website. If you prefer to use Limboole online, you can use the FM Playground. It offers a web interface for Limboole and other formal methods tools. FeaturesThis extension allows you to run Limboole from within Visual Studio Code. UsageFor Requirements
SettingsYou can set the path to the Limboole executable in the settings. Open the settings by clicking on the gear icon in the bottom left corner of the window, then click on Known IssuesThe extension is tested on Windows and Linux. Unfortunately, I don't have access to macOS, so I can't test it there. If you encounter any issues, please report them on GitHub or open a PR. LicenseThis extension is licensed under the MIT License. See LICENSE for more information. Limboole LicenseThere is no specific license for the Limboole SAT solver front-end software. It is provided "as is" and can be used in any way without warranty of any kind. However, linking against Lingeling and PicoSAT will produce a binary, which falls under the license restrictions of those tools, which are more restricted. Refer to the Limboole License for more information. |