Source

z3 / src / ast / simplifier / README

Full commit
Simplifier module is now obsolete.
It is still being used in many places, but we will eventually replace all occurrences with the new rewriter module.