kmeans_pytorch @ git+ssh://git@github.com/zhaoyu-li/kmeans_pytorch.git
cnfgen @ git+ssh://git@github.com/zhaoyu-li/cnfgen.git
