Viewing profile — throwaway765e6
throwaway765e6
HN member- Joined
- Tue, Jun 02, 2020, 12:29 AM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About throwaway765e6
No profile information was provided.
Recent public activity
-
comment
Comment #23385811
For anyone wishing to try this without having to install z3, or just to see a more rudimentary way of doing this, here is a self-contained (hopefully just as readable) solution in …