-[Startup Files for the DSPCAD Framework](software/Startup-Files-for-the-DSPCAD-Framework)
-[Startup Files for the DSPCAD Framework](software/Startup-Files-for-the-DSPCAD-Framework)
-[GEMBench: a benchmarking tool for evaluating implementations of solvers for
-[The CSM Pacakge: a software tool for experimenting with Compact System Modeling in terms of Markov Decision Processes](http://dspcad.umd.edu/projects/csm/csm.htm)