示例#1
0
文件： Solver.cs 项目： qishen/formula 
 /// <summary>
 /// Create and set the solver. Will get more complicated as
 /// params become clear.
 /// </summary>
 private void CreateContextAndSolver()
 {
     Context  = new Z3Context();
     Z3Solver = Context.MkSolver();
 }