Sebastian Junges

model hashing

3

Hi, for the export of e.g., optimal schedulers, it seems cool to have a reference to the model for which this was computed. I do not look for something that...

The DRN parser currently reads models that are invalid. For example, a model in which the outgoing probabilities sum to more than one is parsed without any exception. This behaviour...

added the soplex LP solver

7

The Soplex LP solver allows exact and numeric LP solving and has an academic license. This commit also shows what to to do if you want to add a new...

Parsing schedulers and applying them via the command line

3

Say I have computed a scheduler for a model. Can I apply the scheduler to said model using the command line?

std::optional vs boost::optional

7

did we agree which we use? I am slightly in favor of std.

Pomdp almsure fix

1

Fix of a fix i made last spring :-)

Global state: Settings used throughout the code

1

As a midterm goal, it would be good to clarify the use of command line settings throughout the code. For this, we have adapted environments as a more transparant solution....

Warning on setup.py install

2

I get the following warning: ``` (...)/site-packages/setuptools/installer.py:27: SetuptoolsDeprecationWarning: setuptools.installer is deprecated. Requirements should be satisfied by a PEP 517 installer. warnings.warn( ``` This link explains the situation: https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html I do...

Anaconda is a rather typical Python distribution. We have supported this version but I have no clue whether we are still supporting this. At some point, it would be great...

Hard to build exact MDPs directly

1

Some operations are missing here