Nominal State Machine

Getting Started

Follow our judgesREADME.md to run the auto coder.

For more information about the project, please see this presentation

Running the example

To run our example Flat State Machine:

git clone https://github.com/JPL-UNLV-CS-2021/nsm
cd nsm\examples\FSM\Demo
mkdir build
cd build
cmake ..
cmake --build .
Debug\FSM.exe

To run our example Hierarchical State Machine:

git clone https://github.com/JPL-UNLV-CS-2021/nsm
cd nsm\examples\HSM\Demo
mkdir build
cd build
cmake ..
cmake --build .
Debug\GeneratedHSM ..\in.txt

Thank you.