setup.py

from setuptools import setup, find_packages

setup(name='dyna',
      version='0.9',
      description='',
      author='Tim Vieira',
      install_requires=[
          'arsenal @ git+https://github.com/timvieira/arsenal',
          'semirings @ git+https://github.com/timvieira/semirings',
          'orderedset',
          'frozendict',
          'lark-parser',
          'ansi2html',
          'z3-solver',
          'sympy',
          'graphviz',
          'rich',
          'IPython',
          'svgling',
          'pandas',
          'ipywidgets',
          # -------------------------------------------------------------------
          # development
          'coveragepy',
          'pytest',
          'pytest-cov',
          'pytest-timeout',
      ],
      packages = find_packages(),
)