Package org.sosy_lab.java_smt.example
Class FormulaClassifier
java.lang.Object
org.sosy_lab.java_smt.example.FormulaClassifier
This program parses user-given formulas and prints out the (minimal) matching theory for them.
Warning: This is a prototype and not intended for larger usage.
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
FormulaClassifier
-
-
Method Details
-
main
public static void main(String... args) throws InvalidConfigurationException, SolverException, InterruptedException, IOException -
visit
-
toString
-