README's webots link is not linked.

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

README's webots link is not linked. #8

Closed junjihashimoto closed 4 years ago

junjihashimoto commented 4 years ago

Hi, I would like to setup webots and verifai by reading readme. When I setup webots, I click the "here" link. But the page (https://www.cyberbotics.com/archive/index.php) shows 404 error.

It seems cyberbots provides webots's binaries on https://github.com/cyberbotics/webots/releases.

dfremont commented 4 years ago

Thanks for the report! It looks like Cyberbotics' website has a problem - I've emailed them about fixing the link.

VerifAI currently only supports Webots 2018, which you can't download from the GitHub page you linked to (which is for Webots 2019, the first open-source version of Webots).

dfremont commented 4 years ago

In fact you can download Webots 2018 from the GitHub - I've updated the README.

junjihashimoto commented 4 years ago

Thx!

junjihashimoto commented 4 years ago

@dfremont I would like to use Webots 2018. I have tried to run it. Webots-2018 showed the link to buy a license. But the link is https://www.cyberbotics.com/buy, and the page shows 404, too.