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.

Sign up for GitHub

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

Jump to bottom

update compare_configurations to output csv #46

Open

AllenZzw wants to merge 1 commit into MiniZinc:develop from AllenZzw:feat/analysis_to_csv

Contributor

AllenZzw commented Aug 19, 2024

Update compare_configurations command to output csv file.

There are also two updates for easy comparison of configurations:

include three new pairs of (before_status, after_status) values in CONFLICT_STATUS_CHANGES
include the maximise attribute in the case of objective conflict to identify whether the second configuration is over-constrained or under-constrained compared with the first configuration


          update compare_configurations to output csv

b7ef83c

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet