GitHub repository: matosjr/nnequiv
Description: Fork of nnenum for equivalence checking