コード例 #1
0
 /// <summary>Constructor that initializes the base clases</summary>
 public Z3TermSolver() : base(null)
 {
     _solver = new Z3BaseSolver(this);
 }
コード例 #2
0
 /// <summary>Constructor that initializes the base clases</summary>
 public Z3MILPSolver() : base(null)
 {
     _result = LinearResult.Feasible;
     _solver = new Z3BaseSolver(this);
 }
コード例 #3
0
ファイル: Z3MILPSolver.cs プロジェクト: perillaseed/z3 
 /// <summary>Constructor that initializes the base clases</summary>
 public Z3MILPSolver() : base(null) 
 {
     _result = LinearResult.Feasible;
     _solver = new Z3BaseSolver(this);
 }
コード例 #4
0
ファイル: Z3TermSolver.cs プロジェクト: perillaseed/z3 
 /// <summary>Constructor that initializes the base clases</summary>
 public Z3TermSolver() : base(null) 
 {
     _solver = new Z3BaseSolver(this);
 }