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