@hackage toysolver dependencies

235 results

library:toysolver (52 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.11

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.2

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.1.0.0

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/stm

Software Transactional Memory

BSD-3-Clause>=2.3

@haskell/process

Process libraries

BSD-3-Clause>=1.1.0.2

@haskell/primitive

Primitive memory-related operations

BSD-3-Clause>=0.6

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.1.2

@haskell/ghc-prim

GHC primitives

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5.8

@haskell/bytestring

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

BSD-3-Clause>=0.9.2.1 && <0.12

@haskell/base

Basic libraries

BSD-3-Clause>=4.12 && <4.18

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.5

@hackage/zlib

Compression and decompression in the gzip and zlib formats

BSD-3-Clause

@hackage/xml-conduit

Pure-Haskell utilities for dealing with XML with the conduit package.

MIT

@hackage/vector-space

Vector & affine spaces, linear maps, and derivatives

BSD-3-Clause>=0.8.6

@hackage/unordered-containers

Efficient hashing-based container types

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

@hackage/transformers-compat

A small compatibility shim for the transformers library

BSD-3-Clause>=0.3

@hackage/time

A time library

BSD-2-Clause>=1.5.0

@hackage/temporary

Portable temporary file and directory support

BSD-3-Clause>=1.2

@hackage/sign

Arithmetic over signs and sets of signs

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

@hackage/semigroups

Anything that associates

BSD-3-Clause>=0.17

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause

@hackage/queue

Abstraction typeclasses for queue-like things.

BSD-3-Clause

@hackage/pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

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

@hackage/primes

Efficient, purely functional generation of prime numbers

BSD-3-Clause

@hackage/pretty

Pretty-printing library

BSD-3-Clause>=1.1.2.0 && <1.2

@hackage/mwc-random

Fast, high quality pseudo random number generation

BSD-3-Clause>=0.13.1 && <0.16

@hackage/multiset

The Data.MultiSet container type

BSD-3-Clause

@hackage/megaparsec

Monadic parser combinators

BSD-2-Clause>=7 && <10

@hackage/loop

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

MIT>=0.3.0 && <1.0.0

@hackage/log-domain

Log-domain arithmetic

BSD-3-Clause

@hackage/lattices

Fine-grained library for constructing and manipulating lattices

BSD-3-Clause

@hackage/intern

Efficient hash-consing for arbitrary data types

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

@hackage/heaps

Asymptotically optimal Brodal/Okasaki heaps.

BSD-3-Clause

@hackage/hashtables

Mutable hash tables in the ST monad

BSD-3-Clause

@hackage/hashable

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

BSD-3-Clause>=1.2 && <1.5.0.0

@hackage/finite-field

Finite Fields

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

@hackage/extended-reals

Extension of real numbers with positive/negative infinities

BSD-3-Clause>=0.1 && <1.0

@hackage/data-interval

Interval datatype, interval arithmetic and interval-based containers

BSD-3-Clause>=2.0.1 && <2.2.0

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

@hackage/data-default

A class for types with a default value

BSD-3-Clause

@hackage/clock

High-resolution clock functions: monotonic, realtime, cputime.

BSD-3-Clause>=0.7.1

@hackage/case-insensitive

Case insensitive string comparison

BSD-3-Clause

@hackage/bytestring-encoding

ByteString ↔ Text converter based on GHC.IO.Encoding

BSD-3-Clause>=0.1.1.0

@hackage/bytestring-builder

The new bytestring builder, packaged outside of GHC

BSD-3-Clause

@hackage/OptDir

The OptDir type for representing optimization directions.

BSD-3-Clause

@hackage/OpenCL

Haskell high-level wrapper for OpenCL

BSD-3-Clause>=1.0.3.4

@hackage/MIP

Library for using Mixed Integer Programming (MIP)

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

executable:assign (6 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

BSD-3-Clause

executable:htc (3 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

executable:knapsack (2 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

executable:maxsatverify (3 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

executable:nonogram (4 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

executable:nqueens (3 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

executable:numberlink (8 dependencies)

@haskell/parsec

Monadic parser combinators

BSD-2-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

BSD-3-Clause

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

executable:pbverify (4 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

BSD-3-Clause

executable:pigeonhole (5 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

BSD-3-Clause

executable:probsat (7 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause

@hackage/mwc-random

Fast, high quality pseudo random number generation

BSD-3-Clause

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

@hackage/clock

High-resolution clock functions: monotonic, realtime, cputime.

BSD-3-Clause

executable:shortest-path (5 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

executable:sudoku (3 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

executable:survey-propagation (4 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

@hackage/OpenCL

Haskell high-level wrapper for OpenCL

BSD-3-Clause

executable:svm2lp (8 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/split

Combinator library for splitting lists.

BSD-3-Clause

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

@hackage/MIP

Library for using Mixed Integer Programming (MIP)

BSD-3-Clause

executable:toyconvert (12 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause

@hackage/pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

@hackage/bytestring-builder

The new bytestring builder, packaged outside of GHC

BSD-3-Clause

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause

@hackage/MIP

Library for using Mixed Integer Programming (MIP)

BSD-3-Clause

executable:toyfmf (7 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause

@hackage/logic-TPTP

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

LicenseRef-GPL>=0.4.6.0 && <0.5

@hackage/intern

Efficient hash-consing for arbitrary data types

BSD-3-Clause

executable:toyqbf (5 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

executable:toysat (17 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/unbounded-delays

Unbounded thread delays and timeouts

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause

@hackage/pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.13

@hackage/mwc-random

Fast, high quality pseudo random number generation

BSD-3-Clause

@hackage/megaparsec

Monadic parser combinators

BSD-2-Clause

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

@hackage/clock

High-resolution clock functions: monotonic, realtime, cputime.

BSD-3-Clause

@hackage/MIP

Library for using Mixed Integer Programming (MIP)

BSD-3-Clause

executable:toysmt (11 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3.1.2 && <4

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/transformers-compat

A small compatibility shim for the transformers library

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause

@hackage/intern

Efficient hash-consing for arbitrary data types

BSD-3-Clause

@hackage/haskeline

A command-line interface for user input, written in Haskell.

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

executable:toysolver (11 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause

@hackage/pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.13

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

@hackage/OptDir

The OptDir type for representing optimization directions.

BSD-3-Clause

@hackage/MIP

Library for using Mixed Integer Programming (MIP)

BSD-3-Clause

test:TestPolynomial (10 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/tasty-th

Automatic tasty test case discovery using TH

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT>=0.8 && <0.11

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.9 && <0.11

@hackage/tasty

Modern and extensible testing framework

MIT>=0.10.1

@hackage/pretty

Pretty-printing library

BSD-3-Clause

@hackage/finite-field

Finite Fields

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

@hackage/data-interval

Interval datatype, interval arithmetic and interval-based containers

BSD-3-Clause

test:TestSuite (30 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3.1.2 && <4

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/vector-space

Vector & affine spaces, linear maps, and derivatives

BSD-3-Clause

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause

@hackage/transformers-compat

A small compatibility shim for the transformers library

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/tasty-th

Automatic tasty test case discovery using TH

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT>=0.8 && <0.11

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.9 && <0.11

@hackage/tasty

Modern and extensible testing framework

MIT>=0.10.1

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause

@hackage/pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

BSD-3-Clause

@hackage/mwc-random

Fast, high quality pseudo random number generation

BSD-3-Clause

@hackage/megaparsec

Monadic parser combinators

BSD-2-Clause

@hackage/lattices

Fine-grained library for constructing and manipulating lattices

BSD-3-Clause

@hackage/intern

Efficient hash-consing for arbitrary data types

BSD-3-Clause

@hackage/hashable

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

BSD-3-Clause

@hackage/data-interval

Interval datatype, interval arithmetic and interval-based containers

BSD-3-Clause

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

@hackage/bytestring-builder

The new bytestring builder, packaged outside of GHC

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.8 && <3

@hackage/OptDir

The OptDir type for representing optimization directions.

BSD-3-Clause

benchmark:BenchmarkKnapsack (3 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/criterion

Robust, reliable performance measurement and analysis

BSD-3-Clause>=1.0 && <1.7

benchmark:BenchmarkSATLIB (5 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/data-default-class

A class for types with a default value

BSD-3-Clause

@hackage/criterion

Robust, reliable performance measurement and analysis

BSD-3-Clause>=1.0 && <1.7

benchmark:BenchmarkSubsetSum (4 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause

@hackage/criterion

Robust, reliable performance measurement and analysis

BSD-3-Clause>=1.0 && <1.7

foreign-library:toysat-ipasir (3 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/toysolver

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

BSD-3-Clause