aima.core.logic.propositional.inference

Interface SATSolver

public interface SATSolver

Basic interface to a SAT Solver.

Author:

Ciaran O'Reilly

Method Summary

Modifier and Type	Method and Description
Model	solve(java.util.Set<Clause> cnf) Solve a given problem in CNF format.

Method Detail

solve

Model solve(java.util.Set<Clause> cnf)

Solve a given problem in CNF format.

Parameters:

cnf - a CNF representation of the problem to be solved.

Returns:

a satisfiable model or null if it cannot be satisfied.