moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
135 stars 74 forks source link

Installation without CUDD #590

Open sjunges opened 2 months ago

sjunges commented 2 months ago

as CUDD seems to be a potential trouble maker: Is there a possibility to build storm without CUDD installed? Will that be feasible?

This would also address https://github.com/moves-rwth/storm/issues/586

sjunges commented 2 months ago

Given the issues in https://github.com/moves-rwth/storm/issues/523, similar things may hold for avoidng sylvan...