Jacky Kwok

> Hi @jackyk02, > > First, in case it's not clear, the work scales with the number of threads. Running with 20 threads does 20 times more work than running...

Additionally, I've encountered a runtime error involving Numpy while executing an OpenAI Gym example using multi-threading in Python. The issue arises specifically when threading is combined with the Gym environment,...

I have consistently reproduced the error using the `BanksCount3ModesSimple.lf` file on my Linux machine. The code generated runs as expected with Python 3.10. However, it encounters a segmentation fault when...

Sorry for the confusion in my previous comments. My initial conjecture was that the inflated reference count might have been due to recursion involved with the `set` implementation. However, after...