org.sat4j.sat

Class LaunchRemoteControl

java.lang.Object

org.sat4j.sat.LaunchRemoteControl

public class LaunchRemoteControl
extends Object

Launches the solver with the remote controller. This controller allows the user to restart the solver and to clean clauses.

Author:

sroussel

Constructor Summary

Constructors

Constructor and Description
LaunchRemoteControl()

Method Summary

Methods

Modifier and Type	Method and Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

LaunchRemoteControl

public LaunchRemoteControl()

Method Detail

main

public static void main(String[] args)

Parameters:

args -