| Mode | Name | Size |
| -rw-r--r-- | .gitignore | 4L |
| -rw-r--r-- | Makefile | 17L |
| -rw-r--r-- | TODO.md | 5L |
| -rw-r--r-- | bool.l | 10L |
| -rw-r--r-- | bool.y | 57L |
| -rw-r--r-- | expr.c | 120L |
| -rw-r--r-- | expr.h | 4L |
| -rw-r--r-- | test.bool | 1L |
| boolsimple boolean algebra solver |
| Log | Files | Refs |