When running [train.py](https://github.com/dair-iitd/symnet3/blob/main/multi_train/deep_plan/train.py) I get a `segmentation fault (core dumped)` error in [RDDL.py](https://github.com/dair-iitd/symnet3/blob/main/gym/envs/rddl/RDDL.py), line 80 (`self.rddlsim = ctypes.CDLL(path)`). Are you aware of this error? Do you have any idea?
