PROBLEM TO BE SOLVED: To provide a restriction satisfying solution generation device capable of generating a solution satisfying a variable restriction of a specific class selected by a user when all restrictions are not satisfied by adding classes to the variable restrictions.SOLUTION: A restriction satisfying solution generation device includes: an input part 11 for inputting evaluation information to evaluate a restriction satisfying degree; a storage part 12 for storing the evaluation information input by the input part 11; a function library 14 for holding a function used for generating a model inspection program to evaluate the restriction satisfying degree; a program generation part 13 for generating a model inspection program and a verification formula to inspect a model by using the function held in the function library 14 on the basis of the evaluation information; and a search part 15 for verifying the model inspection program by model inspection using the verification formula and obtaining a combi
