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 ...

Thanks a lot for that. For licensing purposes, by which name would you like to be credited for this patch? Unless you prefer not to be credited. Also, is your patch licensed under the same license as ...