Uses of Package
model.logic

Packages that use model.logic

model.logic

Classes in model.logic used by model.logic

Clause
This class represents the clause logic object.

Formula
This class represents the formula logic object.

FormulaeBase
This class represents a base of general formulae

Literal
This class represents a literal as it is seen in propositional logic.

Variable
This class represents the concept of variable as it is seen in propositional logic.