Explainability In Spack Concretization – Gregory Becker | Packagingcon 2023

2024 26:15
Synopsis
Modern package managers often use logic solvers (SAT, ASP, SMT, CDCL, etc) for dependency resolution. Logic solvers are ...

You Might Also Like

PERFECT WAX - a release agent paste for concrete forms 2:56
Perfect Wax - A Release Agent Paste For Concrete Forms
2026
Talk - Simplify Your Containers with Spack! (Gregory Becker, LLNL) 16:53
Talk - Simplify Your Containers With Spack! (gregory Becker,...
2020
Rear Skip Placer 0:28
Rear Skip Placer
2019
Plate Blocker & Stabilizer 1:06
Plate Blocker & Stabilizer
2022
Concrete Overlay for Structural Strengthening | Dammstraße Parking Garage 0:18
Concrete Overlay For Structural Strengthening | Dammstraße ...
2026
Bi-Directional Mass Accumulation Table 0:36
Bi-directional Mass Accumulation Table
2021
Bi-Directional Mass Accumulation Table 0:34
Bi-directional Mass Accumulation Table
2022
Tutorials 2024: Spack, Part 1 (Basics, Environments, Configuration) 2:50:32
Tutorials 2024: Spack, Part 1 (basics, Environments, Configu...
2025
Double pancake to Monolith vessel 1:15
Double Pancake To Monolith Vessel
2024
BAG-IN-BOX / Vertical Cask Packer 4:00
Bag-in-box / Vertical Cask Packer
2026
J. McRae—Silicate-based composite as heterogeneous integration packaging material for extreme envir. 41:07
J. Mcrae—silicate-based Composite As Heterogeneous Integra...
2022
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.