OCaml binding: How to enable parallelism?

[liyishuai]

z3/RELEASE_NOTES.md

Lines 512 to 514 in 00f1f1b

	- A parallel mode is available for select theories, including QF_BV.
	By setting parallel.enable=true Z3 will spawn a number of worker threads proportional to the
	number of available CPU cores to apply cube and conquer solving on the goal.

I tried to call the mk_context function with ["parallel.enable", "true"], but received:

WARNING: unknown parameter 'parallel.enable'
Legal parameters are:
auto_config (bool) (default: true)
debug_ref_count (bool) (default: false)
dot_proof_file (string) (default: proof.dot)
dump_models (bool) (default: false)
encoding (string) (default: unicode)
model (bool) (default: true)
model_validate (bool) (default: false)
proof (bool) (default: false)
rlimit (unsigned int) (default: 0)
smtlib2_compliant (bool) (default: false)
stats (bool) (default: false)
timeout (unsigned int) (default: 4294967295)
trace (bool) (default: false)
trace_file_name (string) (default: z3.log)
type_check (bool) (default: true)
unsat_core (bool) (default: false)
well_sorted_check (bool) (default: false)

[NikolajBjorner]

you can other parameters, such as parallel.enable, as global parameters.

https://z3prover.github.io/api/html/ml/Z3.html#VALset_global_param