Uses of Package
dev.civl.sarl.reason.IF

Packages that use dev.civl.sarl.reason.IF

Package	Description
dev.civl.sarl.reason.IF	The internal interface for the "reason" module, which deals with Reasoners --- objects used to prove theorems and simplify symbolic expressions.

Classes in dev.civl.sarl.reason.IF used by dev.civl.sarl.reason.IF

Class	Description
ReasonerFactory	A factory for producing instances of Reasoner.