BACON Solver