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

LaunchRemoteControl()

Method Summary

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 -