RosettaCodeData/Task/Temperature-conversion/MiniZinc/temperature-conversion.minizinc
2023-07-01 13:44:08 -04:00

12 lines
306 B
Text

float: kelvin;
var float: celsius;
var float: fahrenheit;
var float: rankine;
constraint celsius == kelvin - 273.15;
constraint fahrenheit == celsius * 1.8 + 32;
constraint rankine == fahrenheit + 459.67;
solve satisfy;
output ["K \(kelvin)\n", "C \(celsius)\n", "F \(fahrenheit)\n", "R \(rankine)\n"];