Package org.sosy_lab.java_smt

@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault package org.sosy_lab.java_smt
JavaSMT: a generic SMT solver API.

SolverContextFactory is a package entry point, which creates a SolverContext object. All operations on formulas are performed using managers, available through the context object.

All interfaces which form the public API are located in the API package.