public class AspicGeneratorExample
extends java.lang.Object
Exemplary code illustrating the use of the ASPIC theory generator.
Furthermore this code show a small performance comparison between
the naive ASPIC reasoner, the module based reasoner, and the random reasoner.