Package org.sosy_lab.java_smt.example

Class NQueens

java.lang.Object

org.sosy_lab.java_smt.example.NQueens

public class NQueens
extends Object

This example program solves a NQueens problem of given size and prints a possible solution.

For example, the Queen can be placed in these ways for a field size of 4:

   .Q..
   ...Q
   Q...
   ..Q.
 

Method Summary

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

Methods inherited from class java.lang.Object

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

Method Details

main

public static void main(String... args)
                 throws InvalidConfigurationException,
SolverException,
InterruptedException

Throws:

InvalidConfigurationException

SolverException

InterruptedException