@chrisamaphone I'm just talking about formal logic with someone in a pub (as you do) and he's asked if anyone has considered adventure games as an exercise in formal logic... Hmm... /cc @andy_m_wood
-
ha, indeed.
@oe1cxw probably has the most extensive project along those lines that i know of
Link to my work using cbmc (SAT/SMT): http://svn.clifford.at/handicraft/2017/tttm/ … I've also found some prior work using NuSMV and CLT properties: https://pdfs.semanticscholar.org/9bd0/962460f3253df8db532d3543a18046a12de7.pdf …. And for games (or individual puzzles) with very limited state space there is https://runevision.itch.io/puzzlegraph .
