Constraint-based solution method, constraint-based solver and constraint-based solution system

Abstract

The purpose is to solve target problems in short calculation time certainly without describing algorithms that are data procedures on computers. As the solution method, because it is configured so that, when the initial values or variation values, which are used for constraint conditions with regard to target problems and the relevant constraint conditions, are set through Variable Value Setting, then Constraint Condition Extractionextracts constraint conditions that are related to those variables, then Constraint Condition Calculationsearches for the solutions for each constraint condition one by one, and Variable Value Resetting repeats searching for the solutions for each constraint condition setting these searched solutions as new variables, so the course of solution searching becomes clear, and it becomes possible to surely reach the final solution and dramatically speed up computing, because each markedly simplified constraint condition has only to be solved.