Class Z3SolverConfiguration

The Z3 solver configuration.

Inheritance
System.Object
SolverConfiguration
Z3SolverConfiguration
Inherited Members
System.Object.ToString()
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
Namespace: OPTANO.Modeling.Optimization.Solver.Z3
Assembly: Optimization.Solver.Z3.dll
Syntax
public class Z3SolverConfiguration : SolverConfiguration

Extension Methods