Microsoft.Z3.Context.MkSimpleSolver C# (CSharp) Méthode

        public Solver MkSimpleSolver()
        {
            Contract.Ensures(Contract.Result<Solver>() != null);

            return new Solver(this, Native.Z3_mk_simple_solver(nCtx));
        }

    public static void Main()
    {
        Context ctx = new Context();

        Params p = ctx.MkParams();
        p.Add("smt.arith.nl", true);
        p.Add("smt.arith.nl.rounds", 42);

        Solver s = ctx.MkSolver();
        s.Parameters = p;
        Console.WriteLine(s); // says "(solver)"

        s = ctx.MkSimpleSolver();
        s.Parameters = p;
        Console.WriteLine(s); // should also say "(solver)"
    }