Very big "game" graph makes browser framerate very slow

[annyanich]

For example, I opened the example "ndet/ndetConcurrent.apt" and opened the "2-player game (incremental)". I expanded the initial state and was greeted by this beautiful image, moving at roughly 2 FPS:

The whole page was very slow and unresponsive until I closed the tab. I hope that when I optimize the SVG renderer per #32, this will not be as much of a problem. But in case it does not prove feasible to show very large game graphs performantly, I would suggest:

• Try hiding "bad" states (This was a thing you suggested, right? I'm not sure if there is a ticket for it)
• If performance is just not to be rescued for graphs over a certain size, I think it would be best to show a warning "This graph is very big and browser performance may not be acceptable." and a button "View anyway".

[mgieseking]

You are right. I just opened the issue #40 for your first point. I would first go with this solution and see if it is then still possible to calculate such huge graphs or if we previously reach the boundaries of the BDD solving.