Hacker News new | ask | show | jobs
by bubblyworld 705 days ago
I see, thanks, so I guess it depends on what the solver is actually doing.