First commit.
First commit.
First commit of develop branch
Working on infix to prefix conversion for all the algebraicists out there.
Added a lot of docstrings
fixed merge conflicts. Develop and Master are synced
Read output files, extract proofs.
File parsing
minor changes to information.py
Merge branch 'develop' of github.com:zacernst/prover9nudge into develop
Working PLY parser.
updating from develop
Merge branch 'develop' of github.com:zacernst/prover9nudge into develop
changed name of ladrParser
Cleanup
cleaned up and deleted some code
More parsing cleanup
Merged parser into main branch
Delete nonUnitClause.py
Delete unitClause.py
Added proof class