/*

   Fahrenheint -> Celsius
   
   C = 5 * ((F - 32) / 9)
     or 
   C = (5 * F) / 9 - 160/9
     or
   C = -17.77777778 + 0.5555555556 F
  
   F = (9 * C) / 5 + 32
     or
   1.8*C + 32.0

   * Using constants -100..100
     gen = 244
     [program = (32 - F) * 40 / -72,res = -17.777777777777779,count = 1]

   * Using 0..100
     gen = 784
     [program = (F + (3 - 35)) / (9 / 5),res = -17.777777777777779,count = 1]

     
   

   Cf fahrenheit_celsium.conf

*/
data(fahrenheit_celsius,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  Data = [
          [[96],35.55555556],
          [[81], 27.22222222],
          [[-15], -26.11111111],
          [[145], 62.77777778],
          [[-30], -34.44444444],
          [[12], -11.11111111],
          [[31], -0.55555556],
          [[33], 0.55555556],
          [[-48], -44.44444444],
          [[-7], -21.66666667]
    ],
  Unknown = [0.0],
  Vars = ['F'],
  Ops = [+,-,*,/],
  % Constants = [5,9,32], % cheating
  Constants = 0..100,
  MaxSize = 21,
  Params = new_map([approx=0.1]).