Spack's New Concretizer Dependency Solving Is More Than Just Sat!

2021 30:58
Synopsis
by Todd Gamblin At: FOSDEM 2020 https://video.fosdem.org/2020/UD2.119/dependency_solving_not_just_sat.webm ...

You Might Also Like

Spacks new Concretizer Dependency solving is more than just SAT 30:58
Spacks New Concretizer Dependency Solving Is More Than Just ...
2023
Explainability in Spack concretization – Gregory Becker | PackagingCon 2023 26:15
Explainability In Spack Concretization – Gregory Becker | ...
2024
Optimizing Dependency Solves in Spack – Todd Gamblin | PackagingCon 2023 26:53
Optimizing Dependency Solves In Spack – Todd Gamblin | Pac...
2024
NEW SSI Dependency Analysis Tools Sneak Peek 12:34
New Ssi Dependency Analysis Tools Sneak Peek
2026
Why reachability matters in SCA (and why transitive dependencies are the real risk) 3:19
Why Reachability Matters In Sca (and Why Transitive Dependen...
2026
No More Dependency Downloads. 50% Reduced Setup Waits. 2:23
No More Dependency Downloads. 50% Reduced Setup Waits.
2026
How compilers affect dependency resolution in Spack 26:03
How Compilers Affect Dependency Resolution In Spack
2019
Should my Services be Transient, Scoped, or Singleton? 3:40
Should My Services Be Transient, Scoped, Or Singleton?
2025
(I can't get no) satisfaction: Can SAT-solvers resolve dependency hell? 13:32
(i Can't Get No) Satisfaction: Can Sat-solvers Resolve Depen...
2021
Integration Dependencies 1:47
Integration Dependencies
2024
A Peek Inside SAT Solvers - Jon Smock 35:21
A Peek Inside Sat Solvers - Jon Smock
2017
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.