![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AUTHORS | 29-Apr-2009 05:30 | 326 | |
| CryptoMiniSat.kdevelop | 06-May-2009 06:50 | 6.5K | |
| CryptoMiniSat.kdevses | 06-May-2009 06:50 | 2.2K | |
| Doxyfile | 15-Apr-2009 09:06 | 11K | |
| INSTALL | 06-May-2009 07:00 | 2.2K | |
| LICENSE | 29-Apr-2009 05:33 | 1.1K | |
| Makefile.am | 15-Apr-2009 09:06 | 146 | |
| Makefile.cvs | 15-Apr-2009 09:06 | 61 | |
| Makefile.in | 06-May-2009 06:43 | 19K | |
| NEWS | 05-May-2009 05:45 | 117 | |
| README | 06-May-2009 05:39 | 6.0K | |
| TODO | 05-May-2009 05:45 | 318 | |
| aclocal.m4 | 29-Apr-2009 06:42 | 264K | |
| config.guess | 15-Apr-2009 09:06 | 44K | |
| config.h.in | 29-Apr-2009 06:43 | 1.4K | |
| config.sub | 15-Apr-2009 09:06 | 32K | |
| configure | 29-Apr-2009 06:42 | 670K | |
| configure.in | 29-Apr-2009 06:42 | 219 | |
| debug/ | 05-May-2009 05:46 | - | |
| depcomp | 15-Apr-2009 09:06 | 13K | |
| install-sh | 15-Apr-2009 09:06 | 6.2K | |
| ltmain.sh | 15-Apr-2009 09:06 | 197K | |
| missing | 15-Apr-2009 09:06 | 10K | |
| optimized/ | 02-Sep-2009 04:00 | - | |
| src/ | 06-May-2009 06:43 | - | |