| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 46 | logplainblame |
| -rw-r--r-- | .mailmap | 61 | logplainblame |
| -rw-r--r-- | LICENSE | 668 | logplainblame |
| -rw-r--r-- | Makefile | 625 | logplainblame |
| d--------- | src | 144 | logplain |
 |
index : pinocchio | |
| A truth table solver with LaTeX and UTF-8 output | Thomas Voss |
| aboutsummaryrefslogtreecommitdiff |