Resolving dependencies...
Starting     th-abstraction-0.7.1.0
Starting     os-string-2.0.7
Starting     microlens-0.4.14.0
Starting     transformers-compat-0.7.2
Building     transformers-compat-0.7.2
Building     th-abstraction-0.7.1.0
Building     os-string-2.0.7
Building     microlens-0.4.14.0
Completed    microlens-0.4.14.0
Completed    transformers-compat-0.7.2
Starting     microlens-mtl-0.2.1.0
Building     microlens-mtl-0.2.1.0
Completed    th-abstraction-0.7.1.0
Starting     microlens-th-0.4.3.16
Completed    os-string-2.0.7
Starting     hashable-1.4.7.0
Building     microlens-th-0.4.3.16
Building     hashable-1.4.7.0
Completed    microlens-mtl-0.2.1.0
Completed    microlens-th-0.4.3.16
Completed    hashable-1.4.7.0
Starting     async-2.2.5
Building     async-2.2.5
Completed    async-2.2.5
Starting     minisat-0.1.3
Building     minisat-0.1.3
Completed    minisat-0.1.3
Downloading  satchmo-2.9.9.5
Downloaded   satchmo-2.9.9.5
Starting     satchmo-2.9.9.5
Building     satchmo-2.9.9.5
Completed    satchmo-2.9.9.5