@hackage toysolver dependencies

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.1.2

@haskell/ghc-prim

GHC primitives

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause<1.4

@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

BSD-3-Clause>=4.6.0.0

@haskell/array

Mutable and immutable arrays

@hackage/vector-space

Vector & affine spaces, linear maps, and derivatives

BSD-3-Clause>=0.2.3 && <0.3.0

@hackage/unordered-containers

Efficient hashing-based container types

@hackage/unbounded-delays

Unbounded thread delays and timeouts

BSD-3-Clause>=0.1.1.0 && <0.2.0.0

@hackage/type-level-numbers

Type level numbers implemented using type families.

@hackage/time

A time library

BSD-3-Clause>=0.2.0 && <1.0.0

@hackage/temporary

Portable temporary file and directory support

BSD-3-Clause>=1.2

@hackage/sign

Arithmetic over signs and sets of signs

@hackage/queue

Abstraction typeclasses for queue-like things.

@hackage/primes

Efficient, purely functional generation of prime numbers

@hackage/prettyclass

Pretty printing class similar to Show.

BSD-3-Clause>=1.0.0

@hackage/parse-dimacs

DIMACS CNF parser library

@hackage/old-locale

locale library

@hackage/multiset

The Data.MultiSet container type

BSD-3-Clause>=0.9.1.2 && <1.0.0.0

@hackage/loop

Fast loops (for when GHC can't optimize forM_)

MIT>=0.2.0 && <1.0.0

@hackage/intern

Efficient hash-consing for arbitrary data types

@hackage/heaps

Asymptotically optimal Brodal/Okasaki heaps.

BSD-3-Clause>=1.1.2.5 && <1.3.0.0

@hackage/hashable

A class for types that can be converted to a hash value

@hackage/finite-field

Finite Fields

BSD-3-Clause>=0.7.0 && <0.9

@hackage/exceptions

Extensible optionally-pure exceptions

BSD-3-Clause==0.5

@hackage/data-interval

Interval datatype, interval arithmetic and interval-based containers

BSD-3-Clause>=0.6.0 && <1.0.0

@hackage/OptDir

The OptDir type for representing optimization directions.

executable:lpconvert (5 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@hackage/parse-dimacs

DIMACS CNF parser library

executable:maxsatverify (5 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

executable:pbconvert (5 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@hackage/parse-dimacs

DIMACS CNF parser library

executable:pbverify (5 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

executable:pigeonhole (4 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

executable:toyfmf (4 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.4.2

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

LicenseRef-GPL>=0.4.1

executable:toysat (14 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/process

Process libraries

BSD-3-Clause>=1.1.0.2

@haskell/parsec

Monadic parser combinators

@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

BSD-3-Clause>=4.5

@haskell/array

Mutable and immutable arrays

@hackage/vector-space

Vector & affine spaces, linear maps, and derivatives

@hackage/unbounded-delays

Unbounded thread delays and timeouts

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@hackage/time

A time library

@hackage/parse-dimacs

DIMACS CNF parser library

@hackage/old-locale

locale library

executable:toysolver (8 dependencies)

@haskell/parsec

Monadic parser combinators

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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/data-interval

Interval datatype, interval arithmetic and interval-based containers

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/HUnit

A unit testing framework for Haskell

test:TestCongruenceClosure (9 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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:TestContiTraverso (11 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/vector-space

Vector & affine spaces, linear maps, and derivatives

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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:TestLPFile (9 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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:TestMIPSolver2 (10 dependencies)

@haskell/stm

Software Transactional Memory

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/vector-space

Vector & affine spaces, linear maps, and derivatives

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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/OptDir

The OptDir type for representing optimization directions.

@hackage/HUnit

A unit testing framework for Haskell

test:TestMPSFile (9 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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:TestPBFile (8 dependencies)

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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 (12 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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

BSD-3-Clause>=0.7.0 && <1.0.0

@hackage/prettyclass

Pretty printing class similar to Show.

BSD-3-Clause>=1.0.0

@hackage/finite-field

Finite Fields

@hackage/data-interval

Interval datatype, interval arithmetic and interval-based containers

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/HUnit

A unit testing framework for Haskell

test:TestQE (11 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/vector-space

Vector & affine spaces, linear maps, and derivatives

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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:TestSAT (10 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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:TestSDPFile (8 dependencies)

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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:TestSimplex (8 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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/HUnit

A unit testing framework for Haskell

test:TestSimplex2 (8 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/vector-space

Vector & affine spaces, linear maps, and derivatives

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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/HUnit

A unit testing framework for Haskell

test:TestUtil (8 dependencies)

@haskell/base

Core data structures and operations

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@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

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/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

@hackage/parse-dimacs

DIMACS CNF parser library

@hackage/criterion

Robust, reliable performance measurement and analysis