karnaugh logic map solver - Search