python-sat
lark
networkx
