crack521 / 3SAT

Transformation from K-SAT CNF to 3-SAT CNF

Executing the program:

python3 ksat.py

Enter the file name to use as CNF input: [input filename]
Enter the file name to save the CNF output: [output filename]