The maximum synthesis solution count. None indicates no bound/infinity.
val uneval_case_budget : int Stdlib.ref
The unevaluation case budget; sets a limit to the number of times U-Case is allowed to be called.
val uneval_limiter : int Stdlib.ref
The unevluation limiter; immediately cuts off any unevaluation path that exceeds a certain number of nondeterministic possibilities (thereby eliminating pathological search paths that are unlikely to succeed).
val max_total_time : float Stdlib.ref
The total time a single synthesis task is allowed to use.
val max_eval_time : float Stdlib.ref
The time a single call to evaluation is allowed to use.
val max_guess_time : float Stdlib.ref
The time a single call to Guess is allowed to use.
val initial_fuel : int Stdlib.ref
The initial fuel count for evaluation and resumption.