| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | lexer.l | 674 | logplainblame |
| -rw-r--r-- | main.c | 7591 | logplainblame |
| -rw-r--r-- | parser.y | 1899 | logplainblame |
| -rw-r--r-- | pinocchio.h | 395 | logplainblame |
 |
index : pinocchio | |
| A truth table solver with LaTeX and UTF-8 output | Thomas Voss |
| aboutsummaryrefslogtreecommitdiff |