Logic minimization is kind of boring? I had to solve a problem once and the answer was still to use the espresso software from the 1980s. It is a pretty specialized problem and honestly I don't see how you would improve on it, besides integrating the digital circuit design research. But in terms of software, there is not really any reason to use a Boolean logic formula instead of just passing around the truth table directly.
Logic minimization is kind of boring? I had to solve a problem once and the answer was still to use the espresso software from the 1980s. It is a pretty specialized problem and honestly I don't see how you would improve on it, besides integrating the digital circuit design research. But in terms of software, there is not really any reason to use a Boolean logic formula instead of just passing around the truth table directly.
well that's exactly why i thought this was exciting. I thought there had been some advances on that front