pyyaml
termcolor
z3-solver
