Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adaption to changes in Storm #45

Merged
merged 2 commits into from
Nov 8, 2021
Merged

Adaption to changes in Storm #45

merged 2 commits into from
Nov 8, 2021

Conversation

volkm
Copy link
Contributor

@volkm volkm commented Nov 8, 2021

Adaption to changes for Jani.

The PR removes BoundedIntegerVariable for now as the data structure changed in Storm. A more general binding for all JANI variables could be added in the future.

@sjunges
Copy link
Contributor

sjunges commented Nov 8, 2021

I am fine with merging this, but I guess we need to add support for such variables before the next release?

@volkm
Copy link
Contributor Author

volkm commented Nov 8, 2021

I opened issue #46 to remind ourselves of adding support for JANI variables.
I will merge this PR.

@volkm volkm merged commit d83bc70 into moves-rwth:master Nov 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants