libcasm-global>=2.0.6
numpy
