Пример #1
0
 /// <summary>Constructor that initializes the base clases</summary>
 public Z3TermSolver(ISolverEnvironment context) : this()
 {
 }
Пример #2
0
 /// <summary>Constructor that initializes the base clases</summary>
 public Z3MILPSolver(ISolverEnvironment context) : this()
 {
 }
Пример #3
0
 /// <summary>Constructor that initializes the base clases</summary>
 public Z3MILPSolver(ISolverEnvironment context) : this() { }
Пример #4
0
 /// <summary>Constructor that initializes the base clases</summary>
 public Z3TermSolver(ISolverEnvironment context) : this() { }