GitHub repository: quarkslab/sspam
Primary language: Python
Description: Symbolic Simplification with PAttern Matching