This is the open source projec for a consensus simulator with the implementation of Dolev-Strong protocol. Please see the project explanation as below. https://docs.google.com/presentation/d/1kkWowuAOcqzF3KQpjsSy1F9ecm4gmMy5RZrwPGgAuy4/edit?usp=sharing
This proejct is later used for CMU course 15435/15635/15735/18435/18635: Foundations of Blockchains as a course project in Fall 2022. In this course project version we have a complete augorgaer with test cases and answers. If you're interested in using this project for your course as well, please contact 20001218sjx at gmail dot com.