I sunk a ton of hours into this game; the ontology of the solver is surprisingly flexible and lets you build a bunch of fun constructions. The concept is delightful - in retrospect it sort of feels like _every_ puzzle game ought to work by adding inference rules to a solver, so that every new task you face is qualitatively new and your old tricks won't work. At higher levels you end up kind of having to fight poor design of your own bad choices earlier on, if you generate too many junk rules, but that's not obviously a downside. Highly recommended!

Utterly brilliant. I had some trouble figuring out what I was doing in the early stages of the game, as the opening tutorial is a little overwhelming, but once I had a handle on the interface and what all the numbers meant, I have had a blast with this game. The satisfaction of finding a new rule and watching level after level complete in front of you is unmatched.

I've reached a point in the game where every level is a real challenge, but I am still able to jump in and find new rules every now and again. Cannot recommend enough.