Package org.sosy_lab.java_smt.example
Class SimpleUserPropagator
java.lang.Object
org.sosy_lab.java_smt.example.SimpleUserPropagator
Example of a simple user propagator that prohibits variables/expressions to be set to true.
-
Method Summary
-
Method Details
-
main
public static void main(String[] args) throws InvalidConfigurationException, InterruptedException, SolverException
-