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