z3-solver>=4.11.0
hydra-core>=1.2.0
hydra-colorlog>=1.2.0
multipledispatch
appdirs
numpy
