z3-solver
antlr4-python3-runtime
numpy
