Tag

#dependency-resolution

1 post tagged with this.

◆

Mar 1, 2019·6 min read

Buckaroo: Conflict-Driven Dependency Resolution for C++

How Buckaroo's dependency resolver borrows ideas from SAT solvers — using conflict-driven clause learning to prune the search space and resolve C++ packages blazingly fast.

c++package-management algorithms

All tags

#c++16 #interactive12 #visualization9 #functional-programming6 #algorithms6 #math5 #performance5 #build-tools5 #javascript4 #frontend4 #typescript4 #package-management4 #header-only4 #optimization3 #case-study3 #coroutines3 #lazy-evaluation3 #finance2 #simulation2 #webgl2 #machine-learning2 #react2 #data-structures2 #search2 #python2 #monorepo2 #architecture2 #ci-cd2 #devops2 #buckaroo2 #sat2 #type-erasure2 #memory-management2 #smart-pointers2 #error-handling2 #terminal2 #ansi2 #ptrace2 #buck2 #bazel2 #gpu1 #graphics1 #webgpu1 #probability1 #paradox1 #statistics1 #templates1 #music1 #acoustics1 #algebra1 #cellular-automata1 #complexity1 #nlp1 #llm1 #evaluation1 #solidjs1 #reactivity1 #automata1 #testing1 #compiler1 #distributed-systems1 #consensus1 #raft1 #signal-processing1 #nx1 #micro-frontends1 #docker1 #teamcity1 #web1 #dependency-resolution1 #redux1 #rxjs1 #refactoring1 #code-analysis1 #git1 #version-control1 #benchmarking1 #library1 #concurrency1 #value-semantics1 #type-safety1 #cli1 #feature-flags1 #dx1 #next.js1 #mdx1 #static-analysis1 #fsharp1 #cpp1 #reactive1