Function abs

2018/src/23.py:10–11

(x)

def part2(bots: list[list[int]]) -> int:
  def abs(x):
    return If(x >= 0,x,-x)
  x,y,z,opt = Int("x"), Int("y"), Int("z"), Optimize()
  opt.maximize(sum(If(abs(x-x1) + abs(y-y1) + abs(z-z1) <= r, 1, 0) for x1,y1,z1,r in bots))
  opt.minimize(abs(x) + abs(y) + abs(z))