Package org.sosy_lab.java_smt.example.nqueens_user_propagator

Class NQueens

java.lang.Object

org.sosy_lab.java_smt.example.nqueens_user_propagator.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.
 

Constructor Summary

Constructors

Constructor	Description
NQueens(SolverContext pContext, int n)

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

Constructor Details

NQueens

public NQueens(SolverContext pContext,
 int n)

Method Details

main

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

Throws:

InvalidConfigurationException

SolverException

InterruptedException