a sufficiently high speed in comparison with a boolean sat solver and an smt solver by regarding the list of constraints illustrated in fig9 as a kind of simultaneous equations and numerically calculating the solution of the simultaneous equations fig1 illustrates an interface of the constrained numerical optimization solver 0013 the input information is configured to include an objective function f an unknown variable x and a constraint expression g in a case where there is an assigned value x satisfying all the constraint expressions the constrained numerical optimization solver 0013 reports a specific assigned value in a case where there is no satisfying solution the constrained numerical optimization solver reports a list of constraint expressions that are impossible to satisfy in the above described constraint expression g and a final assigned value x the determined variable x described above includes a continuous value which is implemented by a floating point number or the like and an integer value a constrained numerical optimization solver including an integer value is particularly referred to as an minlp mixed integer nonlinear programming solver by using the first derivative with respect to each undetermined variable as an argument of the objective function f it becomes possible to perform the evaluation accurately at a high speed there is a solver that does not strictly require a first derivative to be designated by methods such as an automatic differentiation method and a local numerical differentiation method however in order to shorten the evaluation time it is desirable to designate the first derivative similarly in a case where there is not satisfying solution in order to guarantee that there is not a satisfying.