SAT-Physical Thermodynamic Framework: treating constraints as a thermal system · HackerTrans