Hacker News new | ask | show | jobs
by cerved 85 days ago
Would me be nice to try this on lcg (CP-SAT) solvers