@hackage puresat dependencies

30 results

library:dimacs (4 dependencies)

@haskell/parsec

Monadic parser combinators

BSD-2-Clause^>=3.1.16.1

@haskell/bytestring

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

BSD-3-Clause^>=0.11.5.3 || ^>=0.12.1.0

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/puresat

internal

Pure Haskell SAT-solver

BSD-3-Clause

library:internal (3 dependencies)

@haskell/primitive

Primitive memory-related operations

BSD-3-Clause^>=0.9.0.0

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6.7 && <0.8

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.18.2.1 && <4.21

library:puresat (3 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/puresat

internal

Pure Haskell SAT-solver

BSD-3-Clause

executable:puresat (3 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/puresat

dimacs

Pure Haskell SAT-solver

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause^>=0.18.1.0

test:puresat-dimacs (7 dependencies)

@haskell/primitive

Primitive memory-related operations

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/tasty

Modern and extensible testing framework

MIT^>=1.5

@hackage/puresat

internal

Pure Haskell SAT-solver

BSD-3-Clause

@hackage/minisat

A Haskell bundle of the Minisat SAT solver

BSD-3-Clause

test:puresat-small (3 dependencies)

@haskell/primitive

Primitive memory-related operations

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/puresat

Pure Haskell SAT-solver

BSD-3-Clause

test:puresat-test (5 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT^>=0.11

@hackage/tasty

Modern and extensible testing framework

MIT^>=1.5

@hackage/puresat

Pure Haskell SAT-solver

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause^>=2.15.0.1

test:sat-simple-sudoku (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/puresat

Pure Haskell SAT-solver

BSD-3-Clause