The brute-force solver evaluates every binary assignment. It is intended for small problems and for validating results from other solvers.