@hackage mios dependencies

17 results

library:mios (5 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.12

@haskell/primitive

Primitive memory-related operations

BSD-3-Clause>=0.6

@haskell/ghc-prim

GHC primitives

BSD-3-Clause>=0.5

@haskell/bytestring

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

BSD-3-Clause>=0.10

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

executable:cnf-stat (6 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.12

@haskell/primitive

Primitive memory-related operations

BSD-3-Clause>=0.6

@haskell/ghc-prim

GHC primitives

BSD-3-Clause>=0.5

@haskell/bytestring

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

BSD-3-Clause>=0.10

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mios-1.6.0 (6 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.12

@haskell/primitive

Primitive memory-related operations

BSD-3-Clause>=0.6

@haskell/ghc-prim

GHC primitives

BSD-3-Clause>=0.5

@haskell/bytestring

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

BSD-3-Clause>=0.10

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only