pub fn new_thread(cfg: Cfg, ctx: Context) -> JoinHandle<Expression>Expand description
Creates a new asynchronous task that executes a synthesis search using the provided configuration and evaluation context.
Spawns a task that initializes a solver executor with the given parameters, logs the deduction configuration, performs a top-blocked search for an expression, and then converts and returns it as the asynchronous task’s result.