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

Conflict with Scenic 2.1.0 #53

Closed taiki-okano closed 6 months ago

taiki-okano commented 6 months ago

When I tried to set up both VerifAI and Scenic 2.1.0, it emits an error as follows:

The conflict is caused by:
    The user requested pygame
    scenic 2.1.0 depends on pygame~=2.0; python_version < "3.11"
    verifai 1.1.0b1 depends on pygame<2.0.0 and >=1.9.6

The solution for this is to downgrade Scenic to 1.x, which does not require pygame 2.x. However, it would be much appreciated if the version of pygame, which VerifAI depends on, gets updated to 2.x so that Scenic 2.x can be used with VerifAI.

taiki-okano commented 6 months ago

Sorry, I just checked the pyproject.toml of the project, the version of pygame was actually 2.x. It seemed I needed to update my Python version to 3.8.0 or later.