Change Log

[0.1.0] - 2024-09-15

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

[0.1.2] - 2024-09-15

Added limboole executables