parallel_resistors.fzn 570 Bytes