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

Body paragraph 1.

Body paragraph 2.