Julian Andres Klode personal blog
The new APT 3.0 solver
APT 2.9.3 introduces the first iteration of the new solver codenamed solver3, and now available with the –solver 3.0 option. The new solver works fundamentally different from the old one. How does it work? Solver3 is a fully backtracking dependency solving algorithm that defers choices to as late as possible. It…
- Points
- 193
- HN comments
- 114
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 14, 2024 | The new APT 3.0 solver by todsacerdoti | 193 | 114 |
