diff --git a/sandbox/typing.py b/sandbox/typing.py new file mode 100644 index 0000000..5abed5d --- /dev/null +++ b/sandbox/typing.py @@ -0,0 +1,7 @@ +#%% +from giskard.match import GraphMatchSolver +import numpy as np + +A = np.array([[1, 2], [3, 4]]) +B = np.zeros((3, 3)) +solver = GraphMatchSolver([A, B], A)