//[Test]
//public void Tests()
//{
// using (var s = new Solver("Test"))
// {
// s.ExportModel(@"G:\Source\Kingdom Software\Kingdom.ConstraintSolvers\Working\src\Kingdom.Constraints.Sample.Fixturing.Tests\ExportedSolverModel.gz");
// }
//}
private static IntVar GetIntVarFromIntExpr(CpModelLoader loader, string name)
{
var e = loader.IntegerExpressionByName(name);
Assert.That(e, Is.Not.Null);
var v = e.Var();
Assert.That(v.Name(), Is.EqualTo(name));
return(v);
}
