tree | 957321a53256c63583e038c1791edb4b1b4d9410 |
drwxr-xr-x | .. | ||
-rw-r--r-- | 214 | .gitignore | blobblamehistoryraw |
-rw-r--r-- | 0 | AUTHORS | blobblamehistoryraw |
lrwxrwxrwx | 32 | COPYING -> /usr/share/automake-1.10/COPYING | blobblamehistoryraw |
-rw-r--r-- | 0 | ChangeLog | blobblamehistoryraw |
lrwxrwxrwx | 32 | INSTALL -> /usr/share/automake-1.10/INSTALL | blobblamehistoryraw |
-rw-r--r-- | 1089 | LICENSE | blobblamehistoryraw |
-rw-r--r-- | 961 | Makefile.am | blobblamehistoryraw |
-rw-r--r-- | 0 | NEWS | blobblamehistoryraw |
-rw-r--r-- | 400 | README | blobblamehistoryraw |
-rwxr-xr-x | 56 | autogen.sh | blobblamehistoryraw |
drwxr-xr-x | - | core | treehistory |
drwxr-xr-x | - | m4 | treehistory |
-rw-r--r-- | 6447 | minisat-cffi.i | blobblamehistoryraw |
-rw-r--r-- | 2398 | minisat_wrap.cc | blobblamehistoryraw |
-rw-r--r-- | 776 | minisat_wrap.h | blobblamehistoryraw |
drwxr-xr-x | - | mtl | treehistory |
drwxr-xr-x | - | simp | treehistory |