GitHub repository: Jankoekenpan/storm
Primary language: C++
Created: 2025-03-23T17:22:18Z
Description: Modified version of storm to measure SFT->BDD conversion times. Forked off https://github.com/moves-rwth/storm/pull/690