FormalMethods-SAT

This application offers educational materials on SAT solvers and checks propositional logic formulas for well-formedness, satisfiability and validity.

Key Features

• Ckecks Well-formedness of propositional logic formulas.
• Providing enhanced feedback to the user.
• Checks Satisfiability/Validity of propositional logic formula (by runnign Limboole in background).

Requirements

• Python >= 3.9.0
• Limboole executable file

Usage

You can run the application by the following command:

python main.py

License

This project is licensed under the MIT License.

Third-Party Licenses

• Limboole - https://github.com/maximaximal/limboole/blob/master/LICENSE