ENH: sampledCuttingPlane: user specifiable merge tolerance
tree69542f8d2f21882f688e57d50a603fa2d1a6256e
-rw-r--r-- 1336 .gitignore
-rwxr-xr-x 923 Allwmake
-rw-r--r-- 35647 COPYING
-rw-r--r-- 6331 README.html
-rw-r--r-- 1579 README.org
drwxr-xr-x - applications
drwxr-xr-x - bin
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - src
drwxr-xr-x - tutorials
drwxr-xr-x - wmake