I think you should change the cherries to a battery and call the game Correct Horse Battery Stable.
enclose.horse
151–160 of 242 posts
Re: enclose.horse
#152Re: enclose.horse
#153Re: enclose.horse
#154Re: enclose.horse
#155Great game, I love it! I hope the author is collecting juicy analytics. They would be useful if they ever want to bundle 100 levels in order of difficulty and release this as a Steam game (which I would absolutely buy!) I don’t think the gates should animate up into the air. It breaks the visual logic of 2D for no benefit. It’s subconsciously confusing to see a gate I place in one cell move to occupy pixels in the ce…
IMO, the game is great to keep simple, but I’d like to play more levels than just daily, so could see people paying for the ability to play more, like NYT games, and could be part of a suite of game if curated daily by expert vs social curation. The blocks are small though for a small phone with big fingers. I also wonder if making it GPL and submitting to various *NIX distros would be best. Then it may need to be st…
Re: enclose.horse
#156Earlier quoted context omitted.
Yes. CP SAT crunches through it in no time, but of course larger grids would quickly make it take much longer. See https://gist.github.com/Macuyiko/86299dc120478fdff529cab386f...
I don't believe this works in general. If you have a set of tiles that connect to neither the horse nor to an exit, they can still keep each other reachable in this formulation.
Re: enclose.horse
#157Re: enclose.horse
#158Re: enclose.horse
#159Earlier quoted context omitted.
Im over 35 years of age. I have 15+ years of programming experience. And I generally consider myself as someone who has good breadth of tech in general. Yet, this is the first time in my life I've heard of ASP. And gosh. I was completely blown away by this as I read more about it and went through some examples ( https://github.com/domoritz/clingo-wasm/blob/main/examples/e... ) Therefore, like a good little llm bitch…
The pre-machine-learning formulations of AI focused on symbolic reasoning through the dual problems of search and logic. Many problems can be reduced to enumerating legal steps, and SAT/SMT/ASP and related systems can churn through those in a highly optimized and genetic manner.
1. Symbolic reasoning
2. SAT/SMT/ASP
3. pre-machine-learning formulations of AI
Re: enclose.horse
#160Earlier quoted context omitted.
I don't believe this works in general. If you have a set of tiles that connect to neither the horse nor to an exit, they can still keep each other reachable in this formulation.
Good point. I don't think the puzzles do this and if they would, I would run a pre-solve pass over the puzzle first to flood fill such horseless pockets up with water, no?
Like the other comment suggested, running a loop where you keep adding constraints that eliminate invalid solutions will probably work for any puzzle that a human would want to solve.