Class MySatSolver

java.lang.Object
  MySatSolver

All Implemented Interfaces:

SatSolver

public class MySatSolver
extends java.lang.Object
implements SatSolver

This is a template of the MySatSolver class that must be turned in. See RandomSearchSatSolver for sample code.

Constructor Summary

MySatSolver()
A constructor for this class.

Method Summary

java.lang.String	author() This method should simply return the "author" of this program as you would like it to appear on a class website.
java.lang.String	description() This method should return a very brief (1-3 sentence) description of the algorithm and implementational improvements that are being used, appropriate for posting on the class website.
boolean[]	solve(Literal[][] cnf, Timer timer) This is the method for solving satifiability problems.

Methods inherited from class java.lang.Object

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

Constructor Detail

MySatSolver

public MySatSolver()

A constructor for this class. You must include a constructor such as this one taking no arguments. (You may have other constructors that you use for your experiments, but this is the constructor that will be used as part of the class implementation challenge.)

Method Detail

solve

public boolean[] solve(Literal[][] cnf,
                       Timer timer)

This is the method for solving satifiability problems. This method should return a solution satisfying as many clauses of the given CNF as possible by when time runs out on the given timer object (or very soon thereafter).

Specified by:

solve in interface SatSolver

author

public java.lang.String author()

This method should simply return the "author" of this program as you would like it to appear on a class website. You can use your real name or a pseudonym of your choice.

Specified by:

author in interface SatSolver

description

public java.lang.String description()

This method should return a very brief (1-3 sentence) description of the algorithm and implementational improvements that are being used, appropriate for posting on the class website.

Specified by:

description in interface SatSolver