GitHub - MWindels/csc322-project-1: This is a program which looks for valid Boolean entailments given an (almost) arbitrary Boolean formula.

MWindels / csc322-project-1 Public

This is a program which looks for valid Boolean entailments given an (almost) arbitrary Boolean formula.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
Makefile		Makefile
README.pdf		README.pdf
minisat_in.txt		minisat_in.txt
minisat_out.txt		minisat_out.txt
parse_tree.py		parse_tree.py
task_4_report.pdf		task_4_report.pdf
tokenizer.py		tokenizer.py
vcheck1.py		vcheck1.py
vcheck2.py		vcheck2.py
vcheck3.py		vcheck3.py
vcheck4.py		vcheck4.py