Functional Brute Force Solver