Dependency Resolution with a SAT solver


Comments are closed.

You are a *fast* speaker but this material went waaaay over my head. Nicely presented though

As much as I loved the subject (real Computer Science!), anyone would have needed more than ten minutes to adequately cover this material. Please consider turning this into a full-length presentation, perhaps after the package manager is implemented.