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