Skip navigation links

@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.solvers.boolector

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

See: Description

Package org.sosy_lab.java_smt.solvers.boolector Description

Interface to the SMT solver Boolector (based on the native C API and JNI).
Skip navigation links