I will mention that there was a paper from 2017 on "Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT" that constructed what looks very nearly like a phase diagram for satisfiable instances of SAT.

[0] https://arxiv.org/abs/1706.08431

Is it related to https://en.wikipedia.org/wiki/Simulated_annealing ?

(BTW, it's a hacker news no-no to attach a comment to a submission. This isn't instagram where you are not allowed to post links that work... if you have something to say about your github project say it on your github page, don't say it here)