search

TUMcps / AROC

Toolbox for Automated Controller Synthesis
GNU General Public License v3.0
17 stars 3 forks source link

Change CORA download in installation #1

Open JakobThumm opened 2 years ago

JakobThumm commented 2 years ago

Hi, I suggest adding the correct CORA 2020 download link to the manual https://tumcps.github.io/CORA/data/CORA_2020.zip, instead of only linking to the website. Also, make clear that CORA is not backward compatible.

JakobThumm commented 2 years ago

If you are using CORA 2021, you will get errors in the form

Error using validateOptions>validateList (line 210)
Error in options check for nonlinParamSys object:
  options.intermediateTerms is missing.
KochdumperNiklas commented 2 years ago

Thanks for pointing this out. The installation instructions in the AROC manual in Sec. 1.2 state that CORA 2020 is required, but maybe that is a little bit hidden. We will update the link in the new AROC release that will be coming soon.