Initial commit for brute force solver and checker.