BoolShell Command line programm for creating, composing and solving logical formulas. The available documentation can be found in our wiki.