Resolving dependencies...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Installed mtl-2.2.1
Downloading incremental-sat-solver-0.1.8...
Configuring incremental-sat-solver-0.1.8...
Building incremental-sat-solver-0.1.8...
Installed incremental-sat-solver-0.1.8