stormpy
stormpy copied to clipboard
Hard to build exact MDPs directly
Some operations are missing here
I think we should try to tackle the general problem (in iterative, small steps): using templated bindings for the different ValueType. An example can be found for the DFT bindings (see mod_dft.cpp). Starting with MDPs is a good idea though.