K-map-solver How to use You just need to import the main function and pass on minterms and number of variables. for eg- from HW2_2018363 import minFunc print(minFunc('0,1 d 2',2)) That will do the work ;) This code is not general. It might fail on some cases :(