List view

Add support for Highs (MI)LP solver

enhancement

help wanted

Status: Open.

#535 In stormchecker/storm;

· sjunges opened on May 18, 2024

Save memory when doing bounded checking for sparse DTMCs

Status: Open (in progress).

stormchecker/stormnumber 517

#517 In stormchecker/storm;

· ColonelPhantom opened on Apr 5, 2024

replace parallel hashmap with gtl

source code enhancement

Status: Open.

#671 In stormchecker/storm;

· sjunges opened on Feb 25, 2025

Default LP solver

default settings

enhancement

Status: Open.

#680 In stormchecker/storm;

· sjunges opened on Mar 4, 2025