Module tDNNRCOptim

Require Export tDNNRCOptimizer.