Class MySatSolver

java.lang.Object
  MySatSolver

All Implemented Interfaces:

SatSolver

public class MySatSolver

extends java.lang.Object

implements SatSolver

This is a dummy version of MySatSolver that simply generates random models and returns the best one when time runs out. You can use this class as a template for your own.

Constructor Summary

MySatSolver()
A constructor for this class.

Method Summary

boolean[]

solve(Literal[][] cnf, Timer timer) This dummy routine attempts to solve the satisfaction problem by trying random models until time runs out and returning the best one.

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 dummy routine attempts to solve the satisfaction problem by trying random models until time runs out and returning the best one.

Specified by:

solve in interface SatSolver