@hackage mios dependencies

31 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.10 && <5

executable:cnf-stat (3 dependencies)

@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.10 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mc-averagecsv (3 dependencies)

@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.10 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mc-dump2csv (3 dependencies)

@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.10 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mc-numbers (3 dependencies)

@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.10 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mc-pickup (3 dependencies)

@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.10 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mc-stat2csv (3 dependencies)

@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.10 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mc-summary (3 dependencies)

@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.10 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mios-1.5.4 (2 dependencies)

@haskell/base

Core data structures and operations

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

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only

executable:mios-mc (3 dependencies)

@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.10 && <5

@hackage/mios

A Minisat-based CDCL SAT solver in Haskell

GPL-3.0-only