Sspam: Symbolic Simplification with PAttern Matching (2017)github.com/quarkslab1 pointbeefhash6 years ago