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, and see SatSolver for further explanation.

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, int num_symbols, 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,
                       int num_symbols,
                       Timer timer)

This is the method for solving satifiability problems. Each Literal of the given cnf must include symbols indexed by integers between 0 and num_symbols-1. The method should return a solution in the form of a boolean array of length num_symbols representing an assignment to all the symbols of the given CNF that satisfies as many clauses as possible by when time runs out on the given timer object (or very soon thereafter).

Specified by:

solve in interface SatSolver

Parameters:

cnf - the given cnf, represented as an array of arrays of Literals

num_symbols - the number of distinct symbols in the cnf

timer - the given timer object

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