A distributed scheduling method of a constraint solver based on an intelligent contract

The invention provides a distributed scheduling method of a constraint solver based on an intelligent contract, which comprises the following steps: 1, acquiring a plurality of types of constraint sets in a parallel program and placing the sets on a first cloud end; 2, obtaining a plurality of types of constraint solvers and arranging the solvers at a second cloud end; 3, writing the match principle into the intelligent contract, and deploying the intelligent contract on the block chain; 4:, calling the intelligent contract to complete the scheduling based on the matching principle in the contract; 5, obtaining a scheduling path between a constraint solver and a constraint set during that scheduling process. The method realizes that the matching relation between the constraint set and theconstraint solver is written into the intelligent contract, so as to complete the scheduling process of the constraint solver based on the intelligent contract. Through intelligent contract for scheduling, the progress of con