Constrained free energy minimization for the design of thermal states and stabilizer thermodynamic systems