@hackage clingo dependencies

52 results

library:clingo (10 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.5 && <0.6

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2 && <1.3

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2 && <2.3

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.4 && <1.5

@haskell/base

Core data structures and operations

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

@hackage/wl-pprint-text

A Wadler/Leijen Pretty Printer for Text values

BSD-3-Clause

@hackage/hashable

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

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

@hackage/exceptions

Extensible optionally-pure exceptions

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

@hackage/bifunctors

Bifunctors

BSD-3-Clause>=5.4 && <6

@hackage/StateVar

State variables

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

executable:ast (3 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

executable:backend (3 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

executable:configuration (4 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

@hackage/StateVar

State variables

BSD-3-Clause

executable:control (3 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

executable:dot-propagator (3 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

executable:model (3 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

executable:propagator (5 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

executable:solve-async (5 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/monad-loops

Monadic loops

LicenseRef-PublicDomain

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

@hackage/MonadRandom

Random-number generation monad.

BSD-3-Clause

executable:statistics (5 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/wl-pprint-text

A Wadler/Leijen Pretty Printer for Text values

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

@hackage/StateVar

State variables

BSD-3-Clause

executable:symbolic-atoms (3 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

executable:theory-atoms (3 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT

executable:version (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/clingo

Haskell bindings to the Clingo ASP solver

MIT