constraints :: Int -> [Encoder CNF]
constraints n =
  [ atLeastOne
  , atMostOne bitwise
  , antiCollocation bitwise
  , capacityLimit generalizedTotalizer
  , serverUpperLimit n generalizedTotalizer
  ]
constraints :: Int -> [Encoder CNF]
constraints n =
  [ atLeastOne
  , atMostOne bitwise
  , antiCollocation bitwise
  , capacityLimit generalizedTotalizer
  , serverUpperLimit n generalizedTotalizer
  ]
constraints n =
  [ atLeastOne
  , atMostOne bitwise
  , antiCollocation bitwise
  , capacityLimit generalizedTotalizer
  , serverUpperLimit n generalizedTotalizer
  ]