Includes Python brute force solver only (for now)