◆
·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.
Tag
#sat
2 posts tagged with this.
◆
·4 min read
Buckaroo
A decentralised package manager for Buck and Bazel projects, written in F# and winner of the 2019 F# open-source challenge, that resolves dependencies directly from source control using conflict-driven clause learning.
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