internal SolverContext(string modelName)
{
Solver = new Solver(modelName);
Assert.That(Solver.ModelName(), Is.EqualTo(modelName));
Expressions = new List <IntExpr>();
Constraints = new List <Constraint>();
Monitors = new List <SearchMonitor>();
}