fix: add z3 dependency in the dockerfile

Author: HongleiGu

Dockerfile

@@ -1,6 +1,7 @@
 FROM ghcr.io/lambda-feedback/evaluation-function-base/python:3.12 AS builder
 
 RUN pip install poetry==1.8.3
+RUN pip install z3
 
 ENV POETRY_NO_INTERACTION=1 \
     POETRY_VIRTUALENVS_IN_PROJECT=1 \

pyproject.toml

@@ -15,6 +15,7 @@ python = "^3.11"
 typing_extensions = "^4.12.2"
 pydantic = "^2.0"
 lark = "^1.1"
+z3-solver = "^4.15.4"
 lf_toolkit = { git = "https://github.com/lambda-feedback/toolkit-python.git", branch = "main", extras = [
     "ipc",
 ] }