Converter from SAT to 3-SAT
问题 Does anyone know of a good program to convert CNF files with any number of variables per clause to CNF files with exactly 3 variables per clause (3-CNF)? I've seen this algorithm in computer science books but can't find an implementation anywhere and would hate to waste time implementing it myself if others have already done it. Thanks! 回答1: I didn't know any program to do that either, but the algorithm is really simple so just I wrote the following python script (download) that reads a