(self, system_prompt: str, client, model: str, timeout: int = 30, request_config: dict = None, request_id: str = None)
| 142 | |
| 143 | class Z3SymPySolverSystem: |
| 144 | def __init__(self, system_prompt: str, client, model: str, timeout: int = 30, request_config: dict = None, request_id: str = None): |
| 145 | self.system_prompt = system_prompt |
| 146 | self.model = model |
| 147 | self.client = client |
| 148 | self.timeout = timeout |
| 149 | self.solver_completion_tokens = 0 |
| 150 | self.request_id = request_id |
| 151 | |
| 152 | # Extract max_tokens from request_config with default |
| 153 | self.max_tokens = 4096 |
| 154 | if request_config: |
| 155 | self.max_tokens = request_config.get('max_tokens', self.max_tokens) |
| 156 | |
| 157 | logging.basicConfig(level=logging.INFO, format='%(asctime)s - %(levelname)s - %(message)s') |
| 158 | |
| 159 | def process_query(self, query: str) -> str: |
| 160 | try: |
nothing calls this directly
no outgoing calls
no test coverage detected