AIMA.Core.Logic.Propositional.Algorithms.DPLL.dpllSatisfiable C# (CSharp) Метод

        public bool dpllSatisfiable(String s)
        {
            Sentence sen = (Sentence)new PEParser().parse(s);
            return dpllSatisfiable(sen, new Model());
        }