MiniZinc
minizinc.org · 549 words · saved by 1 readers
MiniZinc is a free and open-source constraint modeling language.
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems. Latest release: 2.10.1 (changelog) AimeeAlidaArvilBeulaCiaraColonDarbyDianaDonnaDulceEliasElvieErnstEssieGreenJeradJesseJimmyJodieJulieKatieKeionKelsiKizzyLarryLeafyLloydLymanMableMartyMerleMetroMistiMykelNeliaNevinPaulaSheriTeddyWayne Table seating allocation MonTueWedThuFri Aimee Night Evening Day Evening Beula Evening Day Evening Night Evening Ciara Day Evening Night Darby Evening Evening Night Ernst Night Evening Evening Day Green…
saved by
related reading
- Zed — Your last next editorzed.dev
- Inkling: Our Open-Weights Model - Thinking Machines Labthinkingmachines.ai
- Composer2.pdfcursor.com
- A Dumb Introduction to z3ar-ms.me
- Minimax - Wikipediaen.wikipedia.org
- Z3 Internals (Draft)z3prover.github.io
- Lean (proof assistant) - Wikipediaen.wikipedia.org
- Cursor: AI coding agentcursor.sh
- Lean Programming Languagelean-lang.org
- Tinkerthinkingmachines.ai
- GitHub - guidance-ai/guidance: A guidance language for controlling large language models.github.com
- Zinc+: SNARKs for Polynomial Ringseprint.iacr.org