GitHub repository: nitin18251/K-map-solver
Description: K map solver upto 4 variables, built using python