BDDC

BDDC is a basic logical calculator.

Distribution (binaries)

User manual

Printable (pdf)