pyyaml
termcolor
z3 
z3-solver