How to Prevent Yosys from Trivially Optimizing CNF Generation for a Prime and Composite Tautology?
I originally posted the same question on the Japanese version of Stack Overflow, but since it has been 20 days without any answers or comments, I’m posting it here as well.