lobste_rs feeds.twtxt.net Sat, Nov 1 1:08AM 2025 (1y ago) Rotating Workforce Scheduling in MiniZinc Comments ⌘ Read more ⤋ Read More