https://github.com/gergoerdi/scottcheck

https://github.com/gergoerdi/scottcheck

haskell interactive-fiction-engine scott-adams smt symbolic-execution text-adventure-engine verification

Last synced: 6 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/gergoerdi/scottcheck
• Owner: gergoerdi
• License: mit
• Created: 2020-07-04T03:02:58.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-10-04T05:15:35.000Z (about 5 years ago)
• Last Synced: 2025-03-29T08:11:39.571Z (6 months ago)
• Topics: haskell, interactive-fiction-engine, scott-adams, smt, symbolic-execution, text-adventure-engine, verification
• Language: Haskell
• Homepage: https://gergo.erdi.hu/blog/2020-08-01-solving_text_adventure_games_via_symbolic_execution/
• Size: 84 KB
• Stars: 7
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# ScottCheck: SBV-based verification of Scott Adams adventure games

This program takes old Scott Adams text adventure games, and checks

that they can be solved by executing them symbolically and feeding it

to an SMT solver.

See https://gergo.erdi.hu/blog/2020-08-01-solving_text_adventure_games_via_symbolic_execution/

where I write about the why and the how.