MathSAT (needed by the abstraction refinement engine, needs to be configured manually during the configuration). xerces-c (needed for the parsing and export of XML files, in particular for GSPNs).Z3 (not strictly required, but already needed for standard tasks like PRISM/JANI model building).Recommended dependencies are optional, but not installing them may severely limit the offered functionality. Required dependencies are absolutely essential for Storm to be compiled and must be installed. The following two lists provide an overview over the required and recommended dependencies of Storm. Storm is known to work with GCC, Clang, and AppleClang. Compilerįor the compilation step, a C++17-compliant compiler is required. We both give a general list, as well as operating system specific hints how to install them. This page describes dependencies which are assumed to be present on the target system. Manually installing dependencies optional.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |