Rename functions working on constraints
tree6f6896191de7423f4c2e3c1e5e07473f0680084e
-rw-r--r-- 295 AUTHORS
-rw-r--r-- 2744 ChangeLog
-rw-r--r-- 5548 Makefile.am
-rw-r--r-- 14 NEWS
-rw-r--r-- 231 README
-rw-r--r-- 276 THANKS
-rwxr-xr-x 74 autogen.sh
-rw-r--r-- 11128 configure.in
drwxr-xr-x - doc
drwxr-xr-x - include
-rwxr-xr-x 81 redo.sh
drwxr-xr-x - source
drwxr-xr-x - tests