@hackage mios dependencies

@haskell/primitive

Primitive memory-related operations

@haskell/ghc-prim

GHC primitives

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/base

Core data structures and operations

executable:cnf-stat (6 dependencies)

@haskell/vector

Efficient Arrays

@haskell/primitive

Primitive memory-related operations

@haskell/ghc-prim

GHC primitives

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/base

Core data structures and operations

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mios162 (7 dependencies)

@haskell/vector

Efficient Arrays

@haskell/primitive

Primitive memory-related operations

@haskell/ghc-prim

GHC primitives

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/base

Core data structures and operations

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

@hackage/gitrev

Compile git revision info into Haskell projects

BSD-3-Clause

test:mios-test (7 dependencies)

@haskell/vector

Efficient Arrays

@haskell/primitive

Primitive memory-related operations

@haskell/ghc-prim

GHC primitives

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/base

Core data structures and operations