minisat-solver 0.1

1 Reverse dep Accepted versions
haskell-tools-builtin-refactorings >=0.1 && <0.2