org.sosy_lab.solver.basicimpl.cache

Classes

• CachingOptimizationProverEnvironment
• OptimizationCacheStatistics
• OptimizationObjective
• OptimizationQuery
• OptimizationResult