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