Ricky - 2012-11-24

Hi,
I'm looking for an application  preferably in Mac, which can convert graphical state diagram to karnaugh map/truth tables. Ulitmately should able to produce the circuit, so that we can export the circuit to Logisim.

Thanks, Ricky.