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

        public string TacticDescription(string name)
        {
            Contract.Ensures(Contract.Result<string>() != null);

            return Native.Z3_tactic_get_descr(nCtx, name);
        }