A set of tools with a simply GUI for interacting with tables of logical expressions.