Of course! But the R&D for those tools are very peculiar, at least as I understand it from a friend who works directly on this domain. Essentially there are a

Of course! But the R&D for those tools are very peculiar, at least as I understand it from a friend who works directly on this domain. Essentially there are a whole variety of different interactions, some of them which interact with themselves. You wind up with a tiny zoo of bizarre diagrammatic creatures that you have to figure out herding patterns for - and only then can you get the tool to do the herding for you. I seem to remember involved a whole deal of abstract group theory. It's way easier to draw the diagrams on paper to solve all cases of an interaction, anyhow; after all that nightmare you wind up with some result. And from what I recall, the number of cases also grows exponentially too D: