Namespace OPTANO.Modeling.Optimization.Solver.Z3

Classes

ExtensionMethods

Holds all Extension methods that are used throughout the framework

Z3Solver

Z3SolverConfiguration

The Z3 solver configuration.

Z3Visitor

This is a helper class to create an expression for the Z3 Solver visiting all nodes of an Expression.