Skip to content
Snippets Groups Projects
Commit c8c5a1e8 authored by Johannes Eder's avatar Johannes Eder
Browse files

updated FAQ for 2.18

parent 41a1b3bf
No related branches found
No related tags found
No related merge requests found
af3_faq.html 78e13c95736161cfff6c3b1dae1c1096db33bc50 GREEN
af3_faq.html 6f530dee154e0abac047d8f3b655d9582e2bed08 GREEN
example_co-simulation.html 92e99e0304a365a0503d5cc2d428a5af94759151 GREEN
examples.MainPage.html 2c4306f571d68206ce7511bbe0fda2ee428cd2d9 GREEN
getting_started.html c14e905bd433534ec9f7ace46b487e743d78f502 GREEN
......
......@@ -138,6 +138,15 @@
</li>
</ul>
</li>
<li> On Windows: DSE does not execute and throws exception
<ul>
<li> If you encounter the following exception when running a DSE you might be missing required libraries.
<br>
<i>java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.18.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries</i>
<br>
Installing the Visual C++ Redistributable Packages for Visual Studio 2013 fixes the problem.
</ul>
</li>
<li> AF3 does not start
<ul>
<li> Check, that the path to your AF3 (including the AF3 folder itself) does not contain spaces.</li>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment