RustNL

Tim de Jager -- We open-sourced a SAT solver, Resolvo, for our package manager. In this talk we’ll take you on a journey where we show you how we made this performant, ergonomic, sync/async with a single code path. Starting with: What is SAT, why should I care and moving on towards more advanced SAT+Rust patterns.

Player unavailable or embedding blocked? Use the YouTube link above.