k_map-solver This is a simple implication python code which solve the karnaugh map of 2 to 4 variables for you. It uses quine mccluskey algorithm to do so.