org.sat4j.csp.main
Class Test

java.lang.Object
  extended by org.sat4j.csp.main.Test

public class Test
extends Object


Constructor Summary
Test()
           
 
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

Test

public Test()
Method Detail

main

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


Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.