> So, I'd venture as far as "this should scale to adventure games that humans enjoy playing". I'm really not sure about this one. Consider for example a savef

> So, I'd venture as far as "this should scale to adventure games that humans enjoy playing". I'm really not sure about this one. Consider for example a savefile in an Angband-variant and whether a character can leave the dungeon alive (that's easy to define formally '@' on tile '>' with at 1 free turn seq and hp > 0), but I imagine the backtracking is going to be a very expensive computation...