@picofarad @s8n I wouldn't mind a huge graph search framework though. I posted about wanting one of those for non-AI related strategy solving where you describe changes in world state with a simple function and it uses it to just grind out huge graphs.

TLA+ kind of does this and they use it to verify models about CPUs and high stakes systems now.

There are some interesting applications to distributed graph searches where it comes to just making little models of agents and trying to find how to manage them