Viewing profile — smtross
smtross
HN member- Joined
- Sat, Jan 13, 2024, 4:04 PM UTC
- HN karma
- 5
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About smtross
No profile information was provided.
Recent public activity
-
comment
Comment #40015466
The following should be all the smallest solutions for [7, 5, 3]: 753 7512 34512 3462 34152 3417 357 753 7512 762 7152 34152 3417 357 753 7512 762 3462 34152 3417 357 753 7143 2514…
-
comment
Comment #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
-
comment
Comment #38981206
I created a solver using a SAT/SMT solver that guesses a solution that is consistent with all the previous guesses and their corresponding feedback. It always returns a solution in…