python-sat
pyparsing
pyaml
regex
