Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added comments to BooleanFormula to explain the expression simplifier. (#7633) | Twan van Laarhoven | 2013-10-15 | 1 | -3/+47 |
* | Implement checkable "minimal complete definitions" (#7633) | Twan van Laarhoven | 2013-09-18 | 1 | -0/+167 |