LogicSystem now knows how to apply rewrite rules iteratively when given a list of rewrite rules. Currently, the process does an exhaustive search, which means that for all but the smallest formulas, the computation time is rather large. At some point we will need a way to do some sort of a "guided" search.
LogicSystemnow knows how to apply rewrite rules iteratively when given a list of rewrite rules. Currently, the process does an exhaustive search, which means that for all but the smallest formulas, the computation time is rather large. At some point we will need a way to do some sort of a "guided" search.resolves #7