Search results

Default LP solver

default settings

enhancement

Status: Open.

#680 In moves-rwth/storm;

· sjunges opened on Mar 4, 2025

 ·  

long-term

Diverging behavior due to terminal state detection

enhancement

Status: Open.

#604 In moves-rwth/storm;

· AlexBork opened on Aug 28, 2024

Add support for Highs (MI)LP solver

enhancement

help wanted

Status: Open.

#535 In moves-rwth/storm;

· sjunges opened on May 18, 2024

 ·  

long-term

Support JANI's Forall and Exists Quantifiers

enhancement

Status: Open.

#529 In moves-rwth/storm;

· Philipp15b opened on May 7, 2024

Support for interval models

enhancement

help wanted

Status: Open.

#469 In moves-rwth/storm;

· sjunges opened on Dec 10, 2023

DD-Based Solution Function Computation does not provide graph-based constraints

enhancement

help wanted

Status: Open.

#428 In moves-rwth/storm;

· sjunges opened on Nov 18, 2023

Possibility to use --exportscheduler with multiobjective prop

enhancement

Status: Open.

#325 In moves-rwth/storm;

· UlisesTorrella opened on Jan 21, 2023

Parsing schedulers and applying them via the command line

enhancement

good first issue

help wanted

Status: Open.

#296 In moves-rwth/storm;

· sjunges opened on Sep 14, 2022

Support CVC5

enhancement

help wanted

Status: Open.

#285 In moves-rwth/storm;

· sjunges opened on Sep 2, 2022

Better treatment of Boolean literals in LTL formulas.

enhancement

Status: Open.

#262 In moves-rwth/storm;

· tquatmann opened on Jul 28, 2022

More efficient solution for mismatching modulo semantics

enhancement

Status: Open.

#227 In moves-rwth/storm;

· tquatmann opened on May 31, 2022

Storm instantiation checkers for non-graph preserving assignments

enhancement

Status: Open.

#219 In moves-rwth/storm;

· sjunges opened on May 12, 2022