Skip to content

feat: better solutions when no complete one exists#1812

Merged
mosteo merged 1 commit into
alire-project:masterfrom
mosteo:fix/solver-incomplete
Jan 5, 2025
Merged

feat: better solutions when no complete one exists#1812
mosteo merged 1 commit into
alire-project:masterfrom
mosteo:fix/solver-incomplete

Conversation

@mosteo

@mosteo mosteo commented Jan 5, 2025

Copy link
Copy Markdown
Member

Follow-up to #1739 with fixes for some corner cases and for when no complete solution exists. These were not unearthed by the testsuite but became apparent with some complex dependencies in the community index. Exhaustive testing can now be performed with the new https://github.com/alire-project/solver_testsuite repo to avoid future regressions.

No visible changes for users on 2.0.2.

PR creation checklist
  • A test is included.

@mosteo mosteo marked this pull request as ready for review January 5, 2025 22:28
@mosteo mosteo merged commit 309b633 into alire-project:master Jan 5, 2025
@mosteo mosteo deleted the fix/solver-incomplete branch January 5, 2025 22:28
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.

1 participant