@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.solver.z3java

Interface to the SMT solver Z3 (based on the Java-Interface).

See: Description

Class Summary

Class	Description
Z3SolverContext

Package org.sosy_lab.solver.z3java Description

Interface to the SMT solver Z3 (based on the Java-Interface).