libcasm-global>=2.0.5
numpy
