PyYAML
z3-solver
termcolor
