arybo (pypi): Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions
Keywords: symbolic|computation|canonicalization|boolean-arithmetic|expressions