Please find changes.
Contains improvement to parser : precedence parsing, addition of co/implies, binary trees for raw_sof and conversion of raw_sof to form. Also bugfixes := :-, Integration into tables class to_terms, and using shared ptr to better manage formula trees.,
Please find changes. Contains improvement to parser : precedence parsing, addition of co/implies, binary trees for raw_sof and conversion of raw_sof to form. Also bugfixes := :-, Integration into tables class to_terms, and using shared ptr to better manage formula trees.,
Also test cases added.