Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/gergoerdi/scottcheck

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

Last synced: 2 months ago
JSON representation

Host: GitHub
URL: https://github.com/gergoerdi/scottcheck
Owner: gergoerdi
License: mit
Created: 2020-07-04T03:02:58.000Z (over 4 years ago)
Default Branch: master
Last Pushed: 2020-10-04T05:15:35.000Z (over 4 years ago)
Last Synced: 2023-04-22T16:46:49.735Z (almost 2 years 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