Pre-conference version. (6 pages full - yay!)

code/main.py

@@ -4,9 +4,10 @@ from typing import Callable, Optional
 
 import numpy as np
 from simple_term_menu import TerminalMenu
-from simulator import BooleanNetwork
 from typing_extensions import Concatenate
 
+from simulator import BooleanNetwork
+
 
 def ShowMenu(options: list[str], title: str = "", highlight_entry: int = 0) -> int:
     menu = TerminalMenu(
@@ -231,6 +232,7 @@ def BooleanNetworkMenu(
                 return
             try:
                 boolNetwork.SetState(state)
+                return
             except AssertionError as e:
                 print("Invalid input:", e)
 
@@ -392,7 +394,7 @@ def BooleanNetworkMenu(
 def main() -> None:
     global currentFunction
     currentFunction = MainMenu
-    np.set_printoptions(precision=4, linewidth=300, sign=" ")
+    np.set_printoptions(precision=5, linewidth=300, sign=" ")
     while True:
         currentFunction()