r100001 / sat-phase-transition-finder Goto Github PK
View Code? Open in Web Editor NEWThese files can be used to pinpoint the phase transition point in the sat-problem. It is not fully automated and you need to modify some parameters in order to check for different K's (K-SAT). The easiest way to find the phase transition point after you run the scripts is by creating charts in Excel or any other Calc Spreadsheet.