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());
}