First commit of develop branch
Working on infix to prefix conversion for all the algebraicists out there.
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