/Tableaux

This is a implementation of the tableux calculus, that is a decision procedure solving the problem of satisfiability.

Primary LanguagePython

Tableaux implementation

This is a implementation of the tableux calculus, that is a decision procedure solving the problem of satisfiability.

Running

To run the project, use this command line:

$ python3 main.py

Implementation

This project has 2 files Tableaux.py has its own implementation, with a formula parser and solver. The main file contains the test formulas and interpretations of the logical symbol notation within the project.