z3-solver>=4.12
langchain>=0.1
llama-index>=0.10
langchain-openai>=0.1
