Symbolic PDE solver with automatic code generation. Seismic wave propagation, FWI, RTM. Use for finite-difference wave simulation.