clast.c: insert_equality: reduce coefficients in modulo guards.
treeb561798203223d614fe40dd1b8412b12299d93a8
-rw-r--r-- 15008 LICENSE
-rw-r--r-- 8826 README
drwxr-xr-x - autoconf
-rwxr-xr-x 159965 configure
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - source
drwxr-xr-x - test