I encoded it in SMT (source code https://github.com/rdaly525/hnpuzzle). Fun litt... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

smtross on April 12, 2024 | parent | context | favorite | on: Here's a puzzle game. I call it Reverse the List o...

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

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact