Discussions

• 1 You must be logged in to vote

  💡

  Storm 2.0 meets Sylvan 2.0

  sjunges started Aug 3, 2025 in Ideas

  

  

  

  

  8
• 1 You must be logged in to vote

  💡

  Testing CLIs.

  sjunges started Aug 2, 2025 in Ideas

  

  

  0
• 1 You must be logged in to vote

  🙏

  Document options to get fastest compile times?

  Philipp15b asked Jul 24, 2025 in Q&A · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  💡

  CMake Upgrade Steps

  sjunges started Feb 12, 2025 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Support for interval models

  enhancement help wanted

  sjunges started Dec 10, 2023 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Compile Times

  sjunges started Nov 25, 2023 in Ideas

  

  

  5
• 1 You must be logged in to vote

  💡

  Global state: Settings used throughout the code

  source code enhancement

  sjunges started Sep 8, 2022 in Ideas

  

  

  1