libcasm-global>=2.0.4
numpy
