Get the list of solver configurations available using minizinc --solvers-json.
minizinc --solvers-json
Get the list of solver configurations available using
minizinc --solvers-json
.