Beispiel #1
0
        public void TestRun()
        {
            var x    = new Var('x');
            var goal = new EqGoal(x, 3);

            object result = LogicSharp.Run(x, goal);

            Assert.NotNull(result);
            Assert.True(result.Equals(3));
        }