Yep. Long time ago though!
-
-
-
2015 wasn't that long ago! I thought
@andy_m_wood might be interested in@chrisamaphone's work in particular... http://www.cs.cmu.edu/~cmartens/thesis/ …
End of conversation
New conversation -
-
-
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 .
End of conversation
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.