Simulation deduction platform

by Rong Yu