This package contains classes for representing and working with logical formulae independent of user interface issues.