@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.solvers.z3

Interface to the SMT solver Z3 (based on the native C API and JNI).

See: Description

Class Summary

Class	Description
Z3LoadingFactory	Entry point for loading Z3.

Package org.sosy_lab.java_smt.solvers.z3 Description

Interface to the SMT solver Z3 (based on the native C API and JNI).