libcasm-global<3,>=2.3.0
numpy
