https://9dok.net/document/yr3m06n8-algorithms-for-computational-mechanism-synthesis-and-analysis.html