Hacker News new | ask | show | jobs
by marktani 1036 days ago
can you prove your solver is complete?