News for hackers. Stuff that matters.
Re:"Here's a puzzle game. I call it Reverse the List of Inte... by smtross on Friday April 12, 2024 @12:37PM (#40014843)
I encoded it in SMT (source code https://github.com/rdaly525/hnpuzzle). Fun little challenge!

Turns out there are 6 unique solutions for [7,5,3] in 6 steps

There are no comments on this comment yet.