Skip to content

Files

Latest commit

 

History

History
31 lines (21 loc) · 822 Bytes

README.md

File metadata and controls

31 lines (21 loc) · 822 Bytes

FormalMethods-SAT

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

Screenshot

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