Viewing profile — supersat
supersat
HN member- Joined
- Fri, Jul 21, 2023, 4:22 AM UTC
- HN karma
- 1
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About supersat
No profile information was provided.
Recent public activity
-
comment
Comment #36809976
Unlikely, for reasons explained in this video: https://youtu.be/bEovhfxJsM4?t=2339 However, apparently it can write a program using the Z3 SAT solver to find a solution.
-
comment
Comment #36809972
Unlikely, for reasons explained in this video: https://youtu.be/bEovhfxJsM4?t=2339 However, it apparently can write a program using the Z3 SAT solver to find a solution.