Redundant clustering

[lcgamboa]

Thanks for the excellent program, it helps me a lot to correct my students' work.
In the example below there is a redundant cluster not delivering the most simplified answer:

kmap-solver -v A,B,C,D -m 3,4,5,8,12

The expected answer would be:
GROUP1 (3)
GROUP3 (5,4)
GROUP4 (8,12)
RESULT: f(A,B,C,D) = A'B'CD+A'BC'+AC'D'

without de redundant cluster GROUP2 (4,12)

I'm using kmap-solver version 0.0.4

[obsfx]

Hi @lcgamboa,

Thank you for reporting this issue and providing the correct solution. It's also great to hear that someone is using this tool.
Probably I will need to do some logic circuits recap but I will be working on it to fix this issue.