libcasm-global>=2.0.2
numpy
