POMDPTools compat preventing use of POMDP@1.0.0

[vancleve]

I think this limit on POMDPTools compat

Crux.jl/Project.toml

Line 41 in d1b6ab5

POMDPTools = "0.1"

is preventing Crux.jl from using POMDPs@1.0.0 since POMDPs@1.0.0 seems to require POMDPTools 1.0.0.

(after activating an new environment, this is the message after installing POMDPs and Crux and then trying to install POMDPs@1.0.0 after installed Crux downgrades POMDPs)

Julia Version 1.12.6
Commit 15346901f00 (2026-04-09 19:20 UTC)
Build Info:
  Official https://julialang.org release
Platform Info:
  OS: macOS (arm64-apple-darwin24.0.0)
  CPU: 12 × Apple M2 Max
  WORD_SIZE: 64
  LLVM: libLLVM-18.1.7 (ORCJIT, apple-m2)
  GC: Built with stock GC
Threads: 1 default, 1 interactive, 1 GC (on 8 virtual cores)