logoalt Hacker News

cerved • today at 6:22 AM • 0 replies • view on HN

Would me be nice to try this on lcg (CP-SAT) solvers