Class Z3SolverConfiguration

The Z3 solver configuration.

Inheritance
System.Object
SolverConfiguration
Z3SolverConfiguration
Inherited Members
Namespace: OPTANO.Modeling.Optimization.Solver.Z3
Assembly: Optimization.Solver.Z3.dll
Syntax
public class Z3SolverConfiguration : SolverConfiguration

Extension Methods