Relational SMT Runner Game

Made for https://itch.io/jam/langjamgamejam , a custom z3-minikanren-like relational language that allows relations to be run forwards or backwards. I ran out of steam after developing the language and just made a simple Chrome t-rex style game.

Press Run on the top right, and then Space to jump. If you die, just press run again to restart.

The initial concept was to be able to interactively visualize queries, so you could easily find a starting state to iterate on your game. The solver could also potentially be used to e.g. solve for optimal platform placement in a precision platformer.

The language is pretty janky but its core solver is solid. The editor and io/graphics were pretty rushed and potentially buggy.

GitHub: https://github.com/mkhan45/langgamejamjam