Package org.sosy_lab.java_smt.example.nqueens_user_propagator

Some basic examples for using Java-SMT.

Class Summary

Class	Description
NQueens	This example program solves a NQueens problem of given size and prints a possible solution.
NQueensConstraintPropagator	In addition to the enumeration done by NQueensEnumeratingPropagator, this propagator also enforces the queen placement constraints without explicit encoding.
NQueensEnumeratingPropagator	This propagator enumerates the solutions of the NQueens problem by raising a conflict whenever the solver finds a model.