NQueens (JavaSMT Solver Library)

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
  
  All Methods Static Methods Concrete Methods
  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 Detail

NQueens

public NQueens(SolverContext pContext,
               int n)

Method Detail

main

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

Throws:: InvalidConfigurationException; SolverException; InterruptedException