[backend] more introspection: solver_ruleliterals, solver_rule2jobidx, solver_rule2job
-rw-r--r-- 236 .emacs-dirvars
-rw-r--r-- 64 .gitignore
-rw-r--r-- 6389 CMakeLists.txt
-rw-r--r-- 183 INSTALL
-rw-r--r-- 1381 LICENSE.BSD
-rw-r--r-- 512 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 - tools