Module Astral_internal.SingleQuerySolver