org.jacop.jasat.core

Class RunSolver

java.lang.Object

org.jacop.jasat.core.RunSolver

public final class RunSolver
extends Object

The main class for the SAT solver when it is used standalone (without being controlled by a master).

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Constructor Summary

Constructors

Constructor and Description
RunSolver()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) launch the solver on a file, given by command line parameters

Methods inherited from class java.lang.Object

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

Constructor Detail

RunSolver

public RunSolver()

Method Detail

main

public static void main(String[] args)

launch the solver on a file, given by command line parameters

Parameters:

args - command line arguments