Package org.openqed.tool.summarizer

Command line tool for parsing formulae and generating structural summaries.

See:
          Description

Class Summary
Summarizer Main class for launching the problem summarizer tool.
 

Package org.openqed.tool.summarizer Description

Command line tool for parsing formulae and generating structural summaries.