NQueens (JavaSMT Solver Library)

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
  
  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

Method Detail

main

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

Throws:: InvalidConfigurationException; SolverException; InterruptedException