A small program tingu is implemented in haskell. It reads minterms from a file and produce the output on console. It is hosted on github. You can use it like
./tingu -i minterms
Your minterms should be described in a file like following
vars = 4 minterms = 1,2,5,7,8,9,10,13,15,
Then output of program is
Hello, I am Tingu, the mighty crab! And I like tea. You should call me $./tingu -i filename from your terminal. ** I have found the essential prime implicants of your function. 0-01 -001 010- 10-- 1-1- ** Verifying my answers. It may take some time.... +++ OK, passed 100 tests. Peace!!