MiniZinc

minizinc

Medium-level constraint modeling language

Runs as minizinc|macOS, Linux, Windows|www.minizinc.org

Autocomplete

Generated from the command form · 10 options

Published once and never changed; check the digest before caching

sha256

597500a967ada164982dae2efa6221dfcbc483ce3726fe743b11e193e840ef35

Size

2178 bytes

OptionsOn minizinc itself

--data-d

Data file <data>

--solver

Solver <solver>

--all-solutions-a

All solutions

--num-solutions-n

Stop after N solutions <num_solutions>

--parallel-p

Parallel threads <parallel>

--free-search-f

Free search

--statistics-s

Print statistics

--verbose

Verbose

--compile-c

Compile only

--output-mode

Output mode <output_mode>

ArgumentsPositional, in order

<model>

· optional · filepaths