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

Extend MiniZinc API with better solution parsing and options #812

Merged

david-broman merged 5 commits into miking-lang:develop from lingmar:cp-add

Dec 15, 2023

Contributor

lingmar commented Dec 14, 2023 •

edited

Loading

This PR extends the MiniZinc API so that

all status codes ("unsatisfiable", "satisfied", etc.) are parsed, not only "optimal solution"
all intermediate solutions are parsed and returned, not only the last solution like before
it's possible to pass options to the solving process, e.g. to choose solver and timeout
satisfaction and maximization problems are directly supported (not just minimization problems)

Additionally, I have included some minor fixes for tuning:

Renamed a variable that could potentially become a name conflict
Fixed a bug that gave a crash on externals
Added type checking and test cases for independence annotations

lingmar added 5 commits

December 12, 2023 18:26


          Add support for all status codes, support options, better testing

a31aadd


          Fix name collision bug

d7a9564


          Add type checking for independence annotation

ca4e4b3


          Skip externals in nested analysis

d794ed5


          solveItem->objective

5af43c2

david-broman merged commit d53408c into miking-lang:develop

2 checks passed

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

Labels

None yet