| tree | 3359be2df480cf2d22de82c907acad29f50d33ca |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 214 | .gitignore | blobblamehistoryraw |
| -rw-r--r-- | 0 | AUTHORS | blobblamehistoryraw |
| -rw-r--r-- | 0 | ChangeLog | blobblamehistoryraw |
| -rw-r--r-- | 1089 | LICENSE | blobblamehistoryraw |
| -rw-r--r-- | 983 | Makefile.am | blobblamehistoryraw |
| -rw-r--r-- | 0 | NEWS | blobblamehistoryraw |
| -rw-r--r-- | 400 | README | blobblamehistoryraw |
| -rwxr-xr-x | 62 | autogen.sh | blobblamehistoryraw |
| -rw-r--r-- | 499 | configure.ac | 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 |