# Equivalence Checking

One cool thing constraint solvers can be used for is telling us if two sequences of assembly instructions are functionally identical. This can be used for tasks like removing dead code or simplifying logic. 'solution.py' shows doing this for a very small subset of simplified x86.
