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.
-
ClassesClassDescriptionThis example program solves a NQueens problem of given size and prints a possible solution.In addition to the enumeration done by
NQueensEnumeratingPropagator, this propagator also enforces the queen placement constraints without explicit encoding.This propagator enumerates the solutions of the NQueens problem by raising a conflict whenever the solver finds a model.