stormpy icon indicating copy to clipboard operation
stormpy copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Add support for JANI variables

Open volkm opened this issue 3 years ago • 0 comments

After recent changes in Storm, JANI variables use a different data structure now. PR #45 removed support for the old BoundedIntegerVariable. Support for the new variable data structure should be added instead.

volkm avatar Nov 08 '21 14:11 volkm