Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | LICENSE | 1093 | logstatsplain |
-rw-r--r-- | NEWS | 4665 | logstatsplain |
-rw-r--r-- | README | 187 | logstatsplain |
-rw-r--r-- | VERSION | 4 | logstatsplain |
-rw-r--r-- | app.c | 25220 | logstatsplain |
-rwxr-xr-x | configure.sh | 3227 | logstatsplain |
-rwxr-xr-x | dm_configure_ccomp.sh | 93 | logstatsplain |
-rwxr-xr-x | dm_configure_gcc.sh | 77 | logstatsplain |
-rw-r--r-- | main.c | 107 | logstatsplain |
-rw-r--r-- | makefile.in | 1314 | logstatsplain |
-rwxr-xr-x | mkconfig.sh | 553 | logstatsplain |
-rw-r--r-- | picogcnf.c | 5179 | logstatsplain |
-rw-r--r-- | picomcs.c | 8396 | logstatsplain |
-rw-r--r-- | picomus.c | 12662 | logstatsplain |
-rw-r--r-- | picosat.c | 162924 | logstatsplain |
-rw-r--r-- | picosat.h | 28717 | logstatsplain |
-rw-r--r-- | sudoku.sat | 242030 | logstatsplain |
-rw-r--r-- | version.c | 168 | logstatsplain |