Skip to content

Make MuJoCo optional

Some users might not want to use MuJoCo. Make it optional to have MuJoCo installed.