Running: 0) Run 'make' 1) Run './run_sat' 2) (in new terminal) Run './cmd_generator.py' a) Enter '0' b) Enter '1' c) Enter '2' d) Enter '1' e) Enter '3' f) Enter '1111638594' g) Enter '1'
Running: 0) Run 'make' 1) Run './run_sat' 2) (in new terminal) Run './cmd_generator.py' a) Enter '0' b) Enter '1' c) Enter '2' d) Enter '1' e) Enter '3' f) Enter '1111638594' g) Enter '1'