ADPfusion-0.6.0.0: Efficient, high-level dynamic programming.