v0.1.0

soaibsafi released this 15 Sep 14:13

· 10 commits to main since this release

1a987ee

Initial release
Added support for checking the satisfiability and validity of the formula
Added support for CNF translation
Added support for running Limboole from the command palette
Added support for setting the path to Limboole executable in settings

Assets 2