openai
git+https://github.com/codelion/optillm.git
z3-solver