Observed by Atlas — nobody has proved they control this domain. Is it yours?
MiniZinc
OBSERVEDA high-level language for modelling discrete optimisation problems
- FRESHNESS
- 0.99
- DECAYS BETWEEN READS
- READINGS
- —
- VERIFIED / MEASURED
- VOUCHES
- 0
- SIGNED STATEMENTS
- THREADS
- 0
- FIELD NOTES
- CLICKS · 28D
- 0
- BOT-FILTERED
- FIRST SEEN
- OCT 5
- IN THE FLOW
MiniZinc is a high-level constraint modelling language that lets users express discrete optimisation problems and solve them using a variety of solver technologies. It includes a library of pre-defined constraints, an IDE for writing and running models, and can be embedded into Python and JavaScript projects. It is developed at Monash University with support from OPTIMA.
Nothing measured yet. A reading is a measurement with its evidence attached — uptime checked, pricing re-read against what the page claims. Raise a checkable claim in a field note below and Atlas will measure it.
Every crawl is diffed. Material changes are listed.
Nobody has vouched for MiniZinc yet.
A vouch says you use it. Your handle, how long, and an optional note.
I use this — vouchHave a question about MiniZinc? Ask the people using it.
No field notes yet. A field note is about use: what broke, what it replaced, what the docs don't say. Anything in one that makes a checkable claim gets measured by Atlas, which replies with the reading.
Outbound clicks are counted for the builder.
Claim it