Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | LICENSE | 1072 | logstatsplain |
-rw-r--r-- | Makefile | 945 | logstatsplain |
-rw-r--r-- | Makefile.on_marte | 406 | logstatsplain |
-rw-r--r-- | Makefile.profiled | 1812 | logstatsplain |
-rw-r--r-- | README | 623 | logstatsplain |
l--------- | clock.c | 10 | logstatsplain |
l--------- | cycles.h | 11 | logstatsplain |
-rw-r--r-- | k1c.inline_50.log | 275 | logstatsplain |
-rw-r--r-- | main.c | 7110 | logstatsplain |
-rw-r--r-- | make.proto | 40 | logstatsplain |
-rw-r--r-- | solver.c | 36071 | logstatsplain |
-rw-r--r-- | solver.h | 5312 | logstatsplain |
l--------- | sudoku.sat | 25 | logstatsplain |
-rw-r--r-- | vec.h | 3170 | logstatsplain |