@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.delegate.logging

Wraps the proving environment with loggers.

Class Summary

Class	Description
LoggingSolverContext	SolverContext that wraps all prover environments in their logging versions.