org.sat4j.csp.main

Class Test

java.lang.Object

org.sat4j.csp.main.Test

public class Test
extends Object

Constructor Summary

Constructors

Constructor and Description
Test()

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

Test

public Test()

Method Detail

main

public static void main(String[] args)
                 throws ParserConfigurationException

Throws:

ParserConfigurationException