Missing image in documentation?

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals

https://dreal.github.io

Apache License 2.0

151 stars 32 forks source link

Open pwintz opened 2 years ago

pwintz commented 2 years ago

It looks like there is a missing image on the documentation page for dReach .

pwintz commented 2 years ago

There's also a broken link to 172.smt2 here:

pwintz commented 2 years ago

Actually, all the links at https://dreal.github.io/ appear to be broken.