Resolving dependencies...
Starting     data-array-byte-0.1.0.1
Starting     unliftio-core-0.2.1.0
Building     unliftio-core-0.2.1.0
Building     data-array-byte-0.1.0.1
Completed    unliftio-core-0.2.1.0
Completed    data-array-byte-0.1.0.1
Starting     hashable-1.4.3.0
Building     hashable-1.4.3.0
Completed    hashable-1.4.3.0
Starting     async-2.2.4
Building     async-2.2.4
Completed    async-2.2.4
Downloading  minisat-0.1.3
Downloaded   minisat-0.1.3
Starting     minisat-0.1.3
Building     minisat-0.1.3
Completed    minisat-0.1.3
Downloading  sat-simple-0.1.0.0
Downloaded   sat-simple-0.1.0.0
Starting     sat-simple-0.1.0.0
Building     sat-simple-0.1.0.0
Completed    sat-simple-0.1.0.0