I've been learning the basics of using Z3 by creating a solver for the daily puzzle game Clues By Sam (very fun game; https://cluesbysam.com/). Repo is https://github.com/DylanSp/clues-by-sam-solver. It uses Playwright to read clues and submit guesses; I've got it working for all 50 puzzles in puzzle pack 1.
Echoing the others who say they can't understand the bug/difference; only thing I can think of is that the input string needed the escape sequence for a newline in it? So the correct code would be written as
Thanks for the explanation - I was deeply confused by this article's premise. I've never worked with Next.js or Astro, so I didn't have the background.
Expanding on one point - not just market size, but the amount of competition. As you said upthread, there's no shortage of reasonably popular [1] modern abstract games, there's plenty of other options for people to play. It might be possible to try and promote Quoridor more broadly, given how simple its rules are, but that'd be tough (and marketing it more yourself, beyond just providing an implementation, would probably cause issues with Gigamic).
[1] Popular within the modern board game community, at least.
With the disclaimer that I'm not a lawyer and this isn't legal advice:
- Game mechanics generally can't be copyrighted. If you had a platform for playing "Prakhar's Game" that had the exact same rules as Quoridor, you'd be in the clear.
- Specific pieces of art related to the game would definitely be copyrighted. Copying the exact box art of some commercially-released version of Quoridor would be an issue.
- I think the issue to be concerned about would be whether you can use the name (which would be trademarked, not copyrighted). A quick search turned up a page from the US Patent and Trademark Office [1] showing that it's still held by Gigamic. I'd probably look for sources on that 1997 "release to the world" to see if you can find more details; looking around Gigamic's site might also turn up something.
EDIT: BGA definitely isn't just for kid's games, incidentally. Something like Ark Nova or Agricola is a long ways from Battleship or Candy Land or what not.
Unrelated to the article, but your description of the 15-410 course piqued my interest. Is there a way to access previous versions of the course materials? I took a look at https://www.cs.cmu.edu/~410/, but it seems like some parts of the site are still being worked on for fall 2021.