Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions.

WWW: https://github.com/quarkslab/arybo
