Schmiedmayer, P., Bauer, A., Zagar, P., Ravi, V., Madlener, N., & Aalami, O. CS342 Example Application [Computer software]