search

BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
BSD 3-Clause "New" or "Revised" License
170 stars 47 forks source link

Newest gym doesn't work #6

Open Yougmark opened 4 years ago

Yougmark commented 4 years ago

See the error:

~/VerifAI/examples/openai_gym/cartpole$ python3 cartpole_simulation.py
Traceback (most recent call last):
  File "cartpole_simulation.py", line 1, in <module>
    from verifai.simulators.openai_gym.baselines_task import *
  File "/home/yang/.local/lib/python3.6/site-packages/verifai/simulators/openai_gym/baselines_task.py", l
ine 11, in <module>
    from baselines.run import *
  File "/home/yang/.local/lib/python3.6/site-packages/scenic/syntax/translator.py", line 417, in hooked_i
mport
    module = original_import(*args, **kwargs)
  File "/home/yang/openai/baselines/baselines/run.py", line 12, in <module>
    from baselines.common.cmd_util import common_arg_parser, parse_unknown_args, make_vec_env, make_env
  File "/home/yang/.local/lib/python3.6/site-packages/scenic/syntax/translator.py", line 417, in hooked_i
mport
    module = original_import(*args, **kwargs)
  File "/home/yang/openai/baselines/baselines/common/cmd_util.py", line 12, in <module>
    from gym.wrappers import FlattenDictWrapper
ImportError: cannot import name 'FlattenDictWrapper'

But gym 0.14 works fine.