Class GregDLLSolver

java.lang.Object
  GregDLLSolver

public class GregDLLSolver
extends 
java.lang.Object

A Solver for a basic SAT Solver. Given a formula, generates a partial assignment and tests it against the formula. Continues adding to the partial assignment until the formula is satisfied or unsatisfiable.

Constructor Summary

GregDLLSolver(java.lang.String inputFilename)

GregDLLSolver(SubProblem subProblem)

Method Summary

java.lang.String

solve() Solves the formula.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GregDLLSolver

public GregDLLSolver(java.lang.String inputFilename)

GregDLLSolver

public GregDLLSolver(SubProblem subProblem)

Method Detail

solve

public java.lang.String solve()

Solves the formula.

Parameters:

f - the formula to be solved.

numVars - the number of variables.