Merge branch 'develop' into verification-strategy

Author: enadeau

setup.py

@@ -19,19 +19,19 @@ def read(fname):
     packages=find_packages(),
     long_description=read("README.md"),
     install_requires=[
-        'permuta==1.2.1',
-        'comb_spec_searcher==0.2.2',
+        'permuta==1.3.0',
+        'comb_spec_searcher==0.3.0',
         'logzero==1.5.0',
         'tilings==1.0.1',
-        'sympy==1.4',
+        'sympy==1.5.1',
     ],
     dependency_links = [
         'https://github.com/PermutaTriangle/Tilings/tarball/develop#egg=tilings-1.0.1',
     ],
     setup_requires=['pytest-runner==5.1'],
     tests_require=[
-        'pytest==5.1.1',
-        'pytest-cov==2.7.1',
+        'pytest==5.3.3',
+        'pytest-cov==2.8.1',
         'pytest-pep8==1.0.6',
         'pytest-isort==0.3.1',
         'pytest-timeout==1.3.4',