GitHub repository: liaoscdy/z3_computing_cluster
Created: 2018-12-07T07:01:37Z
Description: A z3 solver cluster in which the master node dynamically posts the received solve request to the nodes registered to the network. Used to make efficient use of computing resources.