MiniZinc, constraint modelling language solve discrete optimisation problems
Alifatisk
26 points
0 comments
April 24, 2026
Related Discussions
Found 5 related stories in 273.3ms across 15,062 title embeddings via pgvector HNSW
- Show HN: zkGolf – Competitive optimization of formally verified circuits rot256 · 55 pts · July 02, 2026 · 49% similar
- ZCode – Harness for GLM-5.2 chvid · 328 pts · July 01, 2026 · 48% similar
- Show HN: Salt – a systems language with Z3 theorem proving in the compiler bneb-dev · 31 pts · July 01, 2026 · 48% similar
- Zinnia: A modular 64-bit Unix-like kernel written in Rust mrunix · 49 pts · June 14, 2026 · 48% similar
- ZAYA1-8B matches DeepSeek-R1 on math with less than 1B active parameters steveharing1 · 102 pts · May 07, 2026 · 47% similar