relevant files: blustl/stl_parser.py and blustl/game.py
Rather than give the complicated dynamics explicitly, it'd be nice to refer to it as a symbolic matrix: A
and then attach a .mat or .txt file or something with the corresponding definition.
The API would look like
g : Game
mat_path : str
phi2 = game_to_LA(game=g, dyn_matrix=mat_path) # output Linear Arithmetic formula
relevant files:
blustl/stl_parser.pyandblustl/game.pyRather than give the complicated dynamics explicitly, it'd be nice to refer to it as a symbolic matrix:
Aand then attach a.mator.txtfile or something with the corresponding definition.The API would look like