Many wallets support pay to many.

But for a transaction of this value, I'd guess Bitcoin Core was used, with some custom rpc magic ontop.