Karnaugh map solver with minterm and don't care inputs. The corresponding Karnaugh map is constructed and solved automatically by the solver.