/// <summary>
/// Create and set the solver. Will get more complicated as
/// params become clear.
/// </summary>
private void CreateContextAndSolver()
{
Context = new Z3Context();
Z3Solver = Context.MkSolver();
}
/// <summary>
/// Create and set the solver. Will get more complicated as
/// params become clear.
/// </summary>
private void CreateContextAndSolver()
{
Context = new Z3Context();
Z3Solver = Context.MkSolver();
}