I get the same problem from time to time. The prompt can't possibly be the issue. The problem is the "python_repl_ast" thing that sometimes fires "NameError: name 're' is not defined" and sometimes it ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback