source/clast.c: detect pairs of inequalities that uniquely define a variable
tree74ac904b7943c55dd2e24a3b726388a3434ab06c
-rw-r--r-- 15008 LICENSE
-rw-r--r-- 4567 Makefile.am
-rw-r--r-- 8826 README
drwxr-xr-x - autoconf
-rwxr-xr-x 74 autogen.sh
-rw-r--r-- 10976 configure.in
drwxr-xr-x - doc
drwxr-xr-x - examples
-rwxr-xr-x 352 genversion.sh.in
drwxr-xr-x - include
drwxr-xr-x - source
drwxr-xr-x - test