| Class | Description |
|---|---|
| CachingOptimizationProverEnvironment |
Caching wrapper for an optimizing SMT solver.
|
| OptimizationCacheStatistics |
Statistics for optimization cache.
|
| OptimizationObjective | |
| OptimizationQuery |
Serialization of the current query held by the solver.
|
| OptimizationResult |
Result of the optimization query.
|
Cache is associated to a single
SolverContext instance.