/// <summary>Constructor that initializes the base clases</summary> public Z3TermSolver(ISolverEnvironment context) : this() { }
/// <summary>Constructor that initializes the base clases</summary> public Z3MILPSolver(ISolverEnvironment context) : this() { }