upTo5sec/golden_search/golden_search.fzn

array [1..3] of float: X_INTRODUCED_3 = [1.0,-1.0,1.0];
var -1.0..3.0: x:: output_var;
var float: z:: output_var:: is_defined_var;
var float: X_INTRODUCED_0 ::var_is_introduced ;
constraint float_exp(x,X_INTRODUCED_0);
constraint float_lin_eq(X_INTRODUCED_3,[z,x,X_INTRODUCED_0],0.0):: defines_var(z);
solve :: float_search([x],0.001,input_order,indomain_split,complete) maximize z;