de.hawhamburg.reachability.reasoner.engine
Classes
DroolsBasedEngine