Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 73 | logplain |
-rw-r--r-- | LICENSE | 1093 | logplain |
-rw-r--r-- | NEWS | 4000 | logplain |
-rw-r--r-- | README | 184 | logplain |
-rw-r--r-- | VERSION | 4 | logplain |
-rw-r--r-- | app.c | 21965 | logplain |
-rwxr-xr-x | configure | 2651 | logplain |
-rw-r--r-- | main.c | 1833 | logplain |
-rw-r--r-- | makefile.in | 1329 | logplain |
-rwxr-xr-x | mkconfig | 550 | logplain |
-rw-r--r-- | picogcnf.c | 5179 | logplain |
-rw-r--r-- | picomcs.c | 8396 | logplain |
-rw-r--r-- | picomus.c | 11748 | logplain |
-rw-r--r-- | picosat.c | 164499 | logplain |
-rw-r--r-- | picosat.h | 28293 | logplain |
-rw-r--r-- | version.c | 168 | logplain |