Mainly a set of tools with a simple GUI for interacting with tables of logical expressions.