Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
glalonde
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
31.
▲
by
glalonde
8y ago
https://tox.chat/theme/img/client/antox.png Definitely made by some memesters
32.
▲
by
glalonde
8y ago
Yup, had some great success getting solutions to real instances of NP complete problems. Nice thing is that SAT solvers all have basically the same interfaces, you can serialize the problems easily so it is super easy to try lots of solvers