3 ms·That’s SATComp, I was talking about the MAXSAT competition.by bmc7505 3y agoThat’s SATComp, I was talking about the MAXSAT competition.