Researcher in combinatorial SIMD programming, SAT, and heuristic search at Zuse Institute Berlin.
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
