Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions - View it on GitHub