GitHub repository: samysweb/nnequiv
Primary language: Python
Description: Fork of nnenum for equivalence checking