storm
storm copied to clipboard
moves-rwth
A Modern Probabilistic Model Checker
As a mid-term goal, it would be good to check whether storm can be compiled with C++20. Known problems: - [x] ModernJson, see https://github.com/moves-rwth/storm/issues/284 - [ ] Run tests
The SMT solver CVC5 is actively developed and could be an interesting alternative to z3.
Hey, So our project, STAMINA, requires an instantiation of a `BitVectorHashMap` for its multithreading protocol. The linker won't allow me to instantiate it in STAMINA, so I must instantiate it...
From some conversation, I think there may be an issue when installing storm without an SMT solver. This can certainly be fixed, but it made me wonder whether we still...
This PR upgrades the shipped sylvan version. Unfortunately, there is a notable performance degradation (around 20-30% slowdown in the dd engine for me; even more if the number of workers...
As posted by @volkm in https://github.com/moves-rwth/storm/issues/271#issuecomment-1202272933_ we have quite some STORM_PRINTs which do appear when calling python bindings. In most cases, uses STORM_LOG_INFO is preferable.
I propose to document the current state of compiling on apple silicon without emulation in this issue. ## How to compile (April 2023) Storm compiles natively on ARM-based apple silicon...
Currently, some parts of the code are still using `std::cout`. We should revise them to use our custom macros such as `STORM_LOG_INFO` or `STORM_PRINT_AND_LOG`. In addition, we opt to use...
