libcasm-global>=2.3.0
numpy
