A
Apocalypse
You're right WinCUPL does the minimisation as part of the compile. So does ISPLever, I think. However ISPLever is much more powerful and might be able to have your equations fit.yeah, I'm using WinCUPL as that's what everyone has recommended up to this point but I get the impression that it does "minimization" as part of the compile routine. Maybe I'm missing something but I don't see any options to minimize the equations directly. If I try to compile with the giant equations it tells me they're too large and can't be compiled.
I haven't tried ISPLever Classic, but Logic Friday seems to be no longer officially available and I haven't been able to track it down.