http://www.inf.ufrgs.br/logics/index.php?option=com_content&task=view&id=52&Itemid=51

Java Programm zur Logic Synthesis, Karnaugh maps, Quine-McCluskey minimization und mehr. Siehe Besprechung bei den 3rd Party Tools