Hacker News new | ask | show | jobs
by watwatwat123 1670 days ago
I just added a list of the supported solvers to the README. Around 20.