Construct, compare, simplify, and modify Boolean expressions.
Use the supplied GenericActions to easily build an interface for things end users are likely to want to do.
Use any type as an atom in an expression. *
Register to receive change propagation notifications.
* Some glue required to edit atoms using GenericActions.
Requires the Generic Actions Framework (Interaction-Actions package).