I'd guess some type of BSP tree. I agree, it looks fun to work on, see how massive of a simulation you could run in real time.