-
Notifications
You must be signed in to change notification settings - Fork 26
Open
Description
Encountered this error after trying to import the rtamt. Installed via pip install rtamt.
python 3.13.1
rtamt 0.3.5
conda 4.14.0
Windows 11 OS build 26100.3476
>>> import rtamt
Traceback (most recent call last):
File "<python-input-1>", line 1, in <module>
import rtamt
File "C:\Users\Ali\.conda\envs\DTcourse\Lib\site-packages\rtamt\__init__.py", line 5, in <module>
from rtamt.spec.stl.discrete_time.specification import StlDiscreteTimeSpecification
File "C:\Users\Ali\.conda\envs\DTcourse\Lib\site-packages\rtamt\spec\stl\discrete_time\specification.py", line 3, in <module>
from rtamt.syntax.ast.parser.stl.specification_parser import StlAst
File "C:\Users\Ali\.conda\envs\DTcourse\Lib\site-packages\rtamt\syntax\ast\parser\stl\specification_parser.py", line 2, in <module>
from rtamt.syntax.ast.parser.stl.parser_visitor import StlAstParserVisitor
File "C:\Users\Ali\.conda\envs\DTcourse\Lib\site-packages\rtamt\syntax\ast\parser\stl\parser_visitor.py", line 4, in <module>
from rtamt.antlr.parser.stl.StlParserVisitor import StlParserVisitor
File "C:\Users\Ali\.conda\envs\DTcourse\Lib\site-packages\rtamt\antlr\parser\stl\StlParserVisitor.py", line 2, in <module>
from antlr4 import *
File "C:\Users\Ali\.conda\envs\DTcourse\Lib\site-packages\antlr4\__init__.py", line 5, in <module>
from antlr4.CommonTokenStream import CommonTokenStream
File "C:\Users\Ali\.conda\envs\DTcourse\Lib\site-packages\antlr4\CommonTokenStream.py", line 33, in <module>
from antlr4.Lexer import Lexer
File "C:\Users\Ali\.conda\envs\DTcourse\Lib\site-packages\antlr4\Lexer.py", line 12, in <module>
from typing.io import TextIO
ModuleNotFoundError: No module named 'typing.io'; 'typing' is not a packageReactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels