GitHub repository: quarkslab/arybo
Primary language: C++
Description: Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions