Parameter Management Module. This module defines a type-safe interface for handling solver parameters, allowing configuration of options such as timeouts, model production, and parallel execution.
type _ param = | Timeout : int paramSpecifies a timeout in milliseconds for each check call.
| Model : bool paramEnable or disable model production.
*)| Unsat_core : bool paramEnable or disable unsatisfiable core computation.
*)| Ematching : bool paramEnable or disable ematching.
*)| Parallel : bool paramEnable or disable parallel execution.
*)| Num_threads : int paramSpecifies the maximum number of threads to use in parallel mode.
*)The type _ param represents a type-safe parameter, where the type parameter indicates the type of the parameter's value.
The type param' is a wrapper for storing parameter-value pairs.
val default_value : 'a param -> 'adefault_value param returns the default value associated with the given parameter.
val default : unit -> tdefault () returns a parameter set with default values for all parameters.
Infix operator for setting a parameter.
params $ (param, value) updates the parameter set params by setting param to value.
set params param value updates the parameter set params by setting param to value.
opt params param opt_value conditionally updates the parameter set params. If opt_value is Some v, it sets param to v. Otherwise, params remains unchanged.
get params param retrieves the current value of param from the parameter set params.