You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The classical pbes2bool had a form of highway search where the number of simultaneously searched BES variables would be limited by setting the excess variables to true or false. The new version of pbes2bool, which is a copy of pbessolve, does not have highway search available.
This extension request is to make a form of highway search available for the new version of pbes2bool.
The text was updated successfully, but these errors were encountered:
The classical pbes2bool had a form of highway search where the number of simultaneously searched BES variables would be limited by setting the excess variables to true or false. The new version of pbes2bool, which is a copy of pbessolve, does not have highway search available.
This extension request is to make a form of highway search available for the new version of pbes2bool.
The text was updated successfully, but these errors were encountered: