Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
supersat
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
supersat
3y ago
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.
2.
▲
by
supersat
3y ago
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.