Interactive K-Map Solver