| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 1072 | logstatsplain |
| -rw-r--r-- | Makefile | 945 | logstatsplain |
| -rw-r--r-- | README | 623 | 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 | 5253 | logstatsplain |
| l--------- | sudoku.sat | 25 | logstatsplain |
| -rw-r--r-- | vec.h | 3170 | logstatsplain |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |