Program synthesis engine that solves all problems in LamBench with no model, no tokens, certified by the benchmark's own referee. - View it on GitHub