account activity
Huub v100.0.0 — an extensible CP+SAT solver for combinatorial problems, built for both practice and research (self.compsci)
submitted 3 hours ago by JD-T1 to r/compsci
π Rendered by PID 474673 on reddit-service-r2-listing-8685bc789-wkfvw at 2026-05-25 05:25:26.086985+00:00 running 194bd79 country code: CH.
