lxml
simplejson
intervaltree
python-constraint
git+https://github.com/symbiflow/fasm