This hack solves it only in the context of this simple example, but not if python_repl added as a tool to an AgentExecutor. At the core, the issue seems to be caused by Python scopes, but my knowledge ...

I know that others have run into the same exception (NameError: name 'cbclib' is not defined), but my setup is different. My goal is to run the solver in a docker container on 32 bit Raspberry Pi (arm ...