BDDC

BDDC is a basic logical calculator.

User manual