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