Closed YongHee-Kim closed 1 year ago
That is strange - it currently works for me and my students. Perhaps your registry has not been updated in a while?
Strange... registry is automatically updated. Since issue is with general registry, I will create issue there and close this one
Thanks - hope this gets resolved!
I can see the POMDTTools has been registered, but package manager says it isn't on the registry![image](https://user-images.githubusercontent.com/7087745/199240198-9c156b7e-0f5e-4b1b-86d0-9af4739be0ad.png)
I'm on Julia 1.8.2