dtPAYNT error on P>=0.5

[sjunges]

I get the following error when using a bounded prop.

Traceback (most recent call last):
  File "/Users/junges/PythonProject1/scratch_1.py", line 72, in <module>
    result = paynt.dt.synthesize(colored_mdp_factory, task) # implicitly runs dtpaynt since no scheduler was provided in the task
  File "/Users/junges/paynt/synthesis/paynt/dt/api.py", line 22, in synthesize
    return _run_dtpaynt(cmdp_factory_dt, paynt_task_dt.tree_depth)
  File "/Users/junges/paynt/synthesis/paynt/dt/synthesizer.py", line 42, in _run_dtpaynt
    dt_synthesizer.synthesize_tree(tree_depth)
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^
  File "/Users/junges/paynt/synthesis/paynt/dt/synthesizer.py", line 172, in synthesize_tree
    self.synthesize(keep_optimum=True)
    ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^
  File "/Users/junges/paynt/synthesis/paynt/synthesizer/synthesizer.py", line 183, in synthesize
    self.synthesize_one(family)
    ~~~~~~~~~~~~~~~~~~~^^^^^^^^
  File "/Users/junges/paynt/synthesis/paynt/synthesizer/synthesizer_ar.py", line 124, in synthesize_one
    self.verify_family(family)
    ~~~~~~~~~~~~~~~~~~^^^^^^^^
  File "/Users/junges/paynt/synthesis/paynt/dt/synthesizer.py", line 119, in verify_family
    family.analysis_result.optimality_result.primary_selection = hole_selection
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AttributeError: 'NoneType' object has no attribute 'primary_selection' and no __dict__ for setting new attributes

Process finished with exit code 1

[sjunges]

For the record, using Pmax>=0.5 does not work (witha. more informative error message)

AssertionError: optimizing formula contains a bound or a comparison formula does not

[TheGreatfpmK]

Oh I completely missed this. I will take a look but I suspect that the Dt synthesizer currently does not support bounded props. This is purely a technical oversight though.