Uses of Package
com.articulate.sigma.tp

Packages that use com.articulate.sigma.tp

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.tp

Classes in com.articulate.sigma.tp used by com.articulate.sigma

Class	Description
EProver
LEO	Class for invoking the latest version of LEO-III from Java.
Vampire	Class for invoking the latest research version of Vampire from Java A previous version invoked the KIF version of Vampire from Java but that's 15 years old now.

Classes in com.articulate.sigma.tp used by com.articulate.sigma.tp

Class	Description
ATPException	Base exception class for all ATP (Automated Theorem Prover) related errors.
ATPException.Builder	Builder for constructing ATPException with full context
ATPResult	Generic result structure for ATP (Automated Theorem Prover) runs.
ATPResult.Builder	Builder for constructing ATPResult
ECNF
EProver
GenPropFormulas
GenPropFormulas.SZSonto
SZSStatus	Enumeration of SZS (TPTP Standard for System status values) statuses.
SZSStatus.Category	Category groupings for SZS statuses
Vampire	Class for invoking the latest research version of Vampire from Java A previous version invoked the KIF version of Vampire from Java but that's 15 years old now.
Vampire.Logic
Vampire.ModeType