Seriously guys, we need adventure game engines that can interface with formal verification flows. Should not be too hard to do.pic.twitter.com/fTHZSDLKuw
Hey past me! I implemented a working proof of concept:https://twitter.com/oe1cxw/status/853322356504367104 …
-
-
Another approach: Set up the game in "solved" state, and then run backwards, taking legal random moves, then presentsit as a puzzle. This >>
-
>> is completely analogous to scrambling a solved Rubik's cube then present it as a puzzle
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.