Package | Description |
---|---|
net.sf.tweety.logics.fol.prover | |
net.sf.tweety.logics.fol.test |
Class and Description |
---|
FolTheoremProver
Abstract FOL Prover to be implemented by concrete solvers
|
Class and Description |
---|
FolTheoremProver
Abstract FOL Prover to be implemented by concrete solvers
|