| tree | 3615ad8718adb29707a73aee4ad21221ef0b9f51 |
| 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-- | 6575 | 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 |