add SOLVER_TARGETED and SOLVER_FLAG_NO_AUTOTARGET flags
-rw-r--r-- 236 .emacs-dirvars
-rw-r--r-- 64 .gitignore
-rw-r--r-- 152 .travis.yml
-rw-r--r-- 231 BUGS
-rw-r--r-- 9560 CMakeLists.txt
-rw-r--r-- 183 INSTALL
-rw-r--r-- 1381 LICENSE.BSD
-rw-r--r-- 799 README
-rw-r--r-- 1666 VERSION.cmake
drwxr-xr-x - bindings
drwxr-xr-x - cmake
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - ext
drwxr-xr-x - package
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - tools