GitHub repository: rpoe/logic-tool
Description: cmd line tool for handling of logic formulas.