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

fix arguments and list concatenation #43

Merged
merged 5 commits into from
Aug 19, 2024
Merged

Conversation

AllenZzw
Copy link
Contributor

@AllenZzw AllenZzw commented Jul 1, 2024

fix argument for the method minizinc.Solver.load.
Change from string to Path object.
The document(https://python.minizinc.dev/en/latest/api.html#minizinc.solver.Solver.load) for the method is inconsistent with its implementation.

@AllenZzw AllenZzw changed the title fix argument for minizinc.Solver.load fix argument names and list concatenation Jul 1, 2024
@AllenZzw AllenZzw changed the title fix argument names and list concatenation fix arguments and list concatenation Jul 1, 2024
@Dekker1
Copy link
Member

Dekker1 commented Aug 19, 2024

Thank you for the help, I think the fixes are good. I just think we shouldn't change the name of the --grouping flag. The idea is that you have to use is multiple times to do multiple groupings.

@AllenZzw
Copy link
Contributor Author

Thanks for the comment. I have revert the change for --grouping flag.

@Dekker1 Dekker1 merged commit a64de23 into MiniZinc:develop Aug 19, 2024
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