internal static void absExample() { Network net = new Network(); IntVariable x = new IntVariable(net, -3, 2, "x"); IntVariable y = x.Abs(); y.NotEquals(2); y.Name = "y"; runExample(net, Solver.Default); }