@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.solver.logging

Wraps the proving environment with loggers.

See: Description

Class Summary

Class	Description
LoggingInterpolatingProverEnvironment<T>
LoggingOptimizationProverEnvironment	Wrapper for an optimizing solver.
LoggingProverEnvironment	Wraps a prover environment with a logging object.

Package org.sosy_lab.solver.logging Description

Wraps the proving environment with loggers.