pub fn new_thread_with_limit(cfg: Cfg, ctx: Context) -> JoinHandle<Expression>Expand description
Spawns an asynchronous task that executes a limited search procedure and returns its corresponding expression.
Initiates an executor using the provided configuration and context, then attempts to solve the top-level problem with a limit. If the search produces a solution, the resulting expression is returned; otherwise, the process is aborted. The asynchronous execution is managed through the Tokio runtime and the result is encapsulated within a join handle.