Package org.sosy_lab.java_smt.delegate.logging

@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault package org.sosy_lab.java_smt.delegate.logging

Wraps the proving environment with loggers.

Classes

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