@hackage toysolver dependencies

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/containers

Assorted concrete container types

@haskell/bytestring

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

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/parse-dimacs

DIMACS CNF parser library

@hackage/OptDir

The OptDir type for representing optimization directions.

executable:lp2yices (5 dependencies)

@haskell/parsec

Monadic parser combinators

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/OptDir

The OptDir type for representing optimization directions.

executable:maxsat2lp (6 dependencies)

@haskell/parsec

Monadic parser combinators

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/OptDir

The OptDir type for representing optimization directions.

executable:pb2lp (6 dependencies)

@haskell/parsec

Monadic parser combinators

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/OptDir

The OptDir type for representing optimization directions.

executable:toysat (13 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/parsec

Monadic parser combinators

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.4.2

@haskell/bytestring

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

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/time

A time library

@hackage/queue

Abstraction typeclasses for queue-like things.

@hackage/parse-dimacs

DIMACS CNF parser library

@hackage/old-locale

locale library

@hackage/OptDir

The OptDir type for representing optimization directions.

executable:toysolver (10 dependencies)

@haskell/stm

Software Transactional Memory

BSD-3-Clause>=2.3

@haskell/parsec

Monadic parser combinators

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/deepseq

Deep evaluation of data structures

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <4.6

@haskell/array

Mutable and immutable arrays

@hackage/parse-dimacs

DIMACS CNF parser library

@hackage/OptDir

The OptDir type for representing optimization directions.

test:TestAReal (10 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/test-framework-th

Automagically generate the HUnit- and Quickcheck-bulk-code using Template Haskell.

@hackage/test-framework-quickcheck2

QuickCheck-2 support for the test-framework package.

@hackage/test-framework-hunit

HUnit support for the test-framework package.

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

@hackage/primes

Efficient, purely functional generation of prime numbers

@hackage/heaps

Asymptotically optimal Brodal/Okasaki heaps.

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/HUnit

A unit testing framework for Haskell

test:TestInterval (8 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/test-framework-th

Automagically generate the HUnit- and Quickcheck-bulk-code using Template Haskell.

@hackage/test-framework-quickcheck2

QuickCheck-2 support for the test-framework package.

@hackage/test-framework-hunit

HUnit support for the test-framework package.

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/HUnit

A unit testing framework for Haskell

test:TestLPFile (11 dependencies)

@haskell/parsec

Monadic parser combinators

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/test-framework-th

Automagically generate the HUnit- and Quickcheck-bulk-code using Template Haskell.

@hackage/test-framework-quickcheck2

QuickCheck-2 support for the test-framework package.

@hackage/test-framework-hunit

HUnit support for the test-framework package.

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/OptDir

The OptDir type for representing optimization directions.

@hackage/HUnit

A unit testing framework for Haskell

test:TestMIPSolver2 (10 dependencies)

@haskell/stm

Software Transactional Memory

@haskell/deepseq

Deep evaluation of data structures

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/test-framework-th

Automagically generate the HUnit- and Quickcheck-bulk-code using Template Haskell.

@hackage/test-framework-hunit

HUnit support for the test-framework package.

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

@hackage/queue

Abstraction typeclasses for queue-like things.

@hackage/OptDir

The OptDir type for representing optimization directions.

@hackage/HUnit

A unit testing framework for Haskell

test:TestPBFile (10 dependencies)

@haskell/parsec

Monadic parser combinators

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/test-framework-th

Automagically generate the HUnit- and Quickcheck-bulk-code using Template Haskell.

@hackage/test-framework-quickcheck2

QuickCheck-2 support for the test-framework package.

@hackage/test-framework-hunit

HUnit support for the test-framework package.

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/HUnit

A unit testing framework for Haskell

test:TestPolynomial (9 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/test-framework-th

Automagically generate the HUnit- and Quickcheck-bulk-code using Template Haskell.

@hackage/test-framework-quickcheck2

QuickCheck-2 support for the test-framework package.

@hackage/test-framework-hunit

HUnit support for the test-framework package.

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

@hackage/heaps

Asymptotically optimal Brodal/Okasaki heaps.

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/HUnit

A unit testing framework for Haskell

test:TestSAT (10 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/test-framework-th

Automagically generate the HUnit- and Quickcheck-bulk-code using Template Haskell.

@hackage/test-framework-hunit

HUnit support for the test-framework package.

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

@hackage/queue

Abstraction typeclasses for queue-like things.

@hackage/OptDir

The OptDir type for representing optimization directions.

@hackage/HUnit

A unit testing framework for Haskell

test:TestSimplex2 (9 dependencies)

@haskell/deepseq

Deep evaluation of data structures

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/test-framework-th

Automagically generate the HUnit- and Quickcheck-bulk-code using Template Haskell.

@hackage/test-framework-hunit

HUnit support for the test-framework package.

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

@hackage/queue

Abstraction typeclasses for queue-like things.

@hackage/OptDir

The OptDir type for representing optimization directions.

@hackage/HUnit

A unit testing framework for Haskell

benchmark:BenchmarkSATLIB (7 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/queue

Abstraction typeclasses for queue-like things.

@hackage/parse-dimacs

DIMACS CNF parser library

@hackage/criterion

Robust, reliable performance measurement and analysis