GitHub - git-commit/propositional-logic-eval: A simple evaluator for propositional logic including a working parser (recursive-descend-parsing).

git-commit / propositional-logic-eval Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A simple evaluator for propositional logic including a working parser (recursive-descend-parsing).

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.gitignore		.gitignore
Answer.txt		Answer.txt
Eval.py		Eval.py
Lex.py		Lex.py
Logic.py		Logic.py
Main.py		Main.py
Parse.py		Parse.py
README		README
Test.py		Test.py

Repository files navigation

Program structure:
The main program is composed of the modules Eval.py, Logic.py, Parse.py and Lex.py dealing with the evaluation logic.
The test class Test.py can be used for unit testing the program.
Main.py runs and prints the problem solutions.

Running Main.py:
Execute the following command in the Terminal (preferably one that supports Unicode characters):

    python3 Main.py

Platform:
Run on any OS that allows Python 3 to be installed. I myself tested the program on Linux, but OSX and Windows should also work just fine.