teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2018-09-25 14:50:15 -07:00
commit f4967e8508
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
requirements.txt
View file

@ -3,9 +3,6 @@
attrs==18.2.0 attrs==18.2.0
funcy==1.10.3 funcy==1.10.3
lenses==0.4.0 lenses==0.4.0
parsimonious==0.8.1
hypothesis==3.73.0
hypothesis==3.66.30 # pyup: ignore hypothesis==3.66.30 # pyup: ignore
parsimonious==0.8.1 parsimonious==0.8.1
pytest==3.2.3 # pyup: ignore pytest==3.2.3 # pyup: ignore