Package ai.libs.jaicore.logic.fol.algorithms.resolution
-
Class Summary Class Description ResolutionPair ResolutionStep ResolutionTree Solver This solver tries to solver PL1 formulas in CNF where all variables are existentially quantifiedSolverFactory UnitResolutionSolver