public void SolverSingleChannel() { SolverContext context = SolverContext.GetContext(); Model model = context.CreateModel(); Domain domain = Domain.Enum("CreateItem", "ConnectItem", "DeleteItem"); Decision channel = new Decision(domain, "channel"); model.AddDecision(channel); Parameter p = new Parameter(Domain.Integer, "p"); model.AddParameter(p); p.SetBinding(3); model.AddConstraint("constraint", channel == "CreateItem" & p == 3 ); Solution solution = context.Solve(new SimplexDirective()); Report report = solution.GetReport(); Console.WriteLine("channel: {0}", channel); Console.Write("{0}", report); Assert.AreEqual("CreateItem", channel.GetString()); }