This approach to writing a #Z3 model is not gonna cut it. (Simulating the Rogue room generation algorithm and bogged down on the very first nested loop.) Am I gonna have to write my own DSL that is compiled to Z3?
There's got to be a better way to generate the model. My mental picture is as a tree where edges correspond to computational steps in the original algorithm -- maybe I can make that explicit in some form. Write successor functions for each possible state.
=> More informations about this toot | View the thread | More toots from markgritter@mathstodon.xyz
=> View z3 tag This content has been proxied by September (3851b).Proxy Information
text/gemini