在conda中配置rtamt环境

1.将conda中的python版本降低到python3.7

conda install python==3.7

此时查看pyhton的版本和pip的版本均为3.7（conda真方便）

conda支持的包远没有pip多，因此很多时候还是需要使用pip命令安装包。使用pip命令时，要先检查pip的来源，确保是来自当前conda环境，只有这样包才会被安装到当前conda环境中（anaconda3/envs/rtamtEnv/lib/python3.7/site-packages）。环境外的pip是不认识conda环境的。

查看pip的来源

which a pip

来自当前conda

2.安装antlr

sudo apt install antlr4

安装对应版本的antlr4运行时

sudo pip install antlr4-python3-runtime==4.7

pip默认将包安装在

anaconda3/envs/rtamtEnv/lib/python3.7/site-packages

3.安装rtamt

pip install rtamt

至此rtamt环境搭建完成

测试：

cd rtamt
python -m unittest discover tests/

报错，antlr4运行时和生成的代码版本不匹配

将运行时改为和生成的代码一致的版本

pip install antlr4-python3-runtime==4.5

rtamt未解决的问题
只能处理DiscreteTime，对于DenseTime，找不到StlDensrTimeSpacifucation