Open
Description
Newly installed pysmt on Macbook by:
pip3 install pysmt
While trying to run an example code given in README file:
from pysmt.shortcuts import Symbol, And, Not, is_sat
The following error is shown:
Traceback (most recent call last): File "/Volumes/GoogleDrive-102241839393799576524/My Drive/research/testing-parametric-systems/assignment/pysmt.py", line 1, in <module> from pysmt.shortcuts import Symbol, And, Not, is_sat File "/Volumes/GoogleDrive-102241839393799576524/My Drive/research/testing-parametric-systems/assignment/pysmt.py", line 1, in <module> from pysmt.shortcuts import Symbol, And, Not, is_sat ImportError: No module named shortcuts
Metadata
Metadata
Assignees
Labels
No labels