Package org.sosy_lab.java_smt.example.nqueens_user_propagator

package org.sosy_lab.java_smt.example.nqueens_user_propagator

Some basic examples for using Java-SMT.

Related Packages

Package	Description
org.sosy_lab.java_smt.example	Some basic examples for using Java-SMT.

Classes

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.