Hello, From http://mujoco.org/book/source/mjrender.h it looks like the number of textures is default capped at 100. Is it possible to increase this? We would like to use it for better domain randomization: https://arxiv.org/pdf/1703.06907.pdf Thanks, ~Alex
There is nothing you can do to increase it on your end; changing the header file will not change the compiled library. I can put it on the todo list for the next version. What value makes sense for you? Also, have you considered changing the textures at runtime and uploading them to the GPU with mjr_uploadTexture? I am guessing you don't need that many textures simultaneously...