@hackage / LogicGrowsOnTrees

a parallel implementation of logic programming using distributed tree exploration

Latest1.1.0.2

Dependencies

library:LogicGrowsOnTrees (30 dependencies)

@hackage / old-locale locale library
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=3.8 && <4.1
- License: BSD-2-Clause
@hackage / data-ivar Write-once variables with concurrency support
- Version: >=0.30 && <0.31
- License: BSD-3-Clause
@hackage / void A Haskell 98 logically uninhabited data type
- Version: >=0.6 && <0.7
- License: BSD-3-Clause
@hackage / MonadCatchIO-transformers Monad-transformer compatible version of the Control.Exception module
- Version: >=0.3 && <0.4
- License: BSD-3-Clause
@hackage / AbortT-mtl mtl instances for the AbortT monad transformer
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >4 && <5
- License: BSD-3-Clause
@hackage / monoid-statistics Monoids for calculation of statistics of sample
- Version: >=0.3 && <0.4
- License: BSD-3-Clause
@hackage / sequential-index Sequential numbers that allow arbitrarily inserting numbers - for containers
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / stm Software Transactional Memory
- Version: >=2.3 && <2.5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1 && <2.2
- License: BSD-3-Clause
@hackage / AbortT-transformers A monad and monadic transformer providing "abort" functionality
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / prefix-units A basic library for SI/IEC prefix units
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / hslogger Versatile logging framework
- Version: >=1.2 && <1.3
- License: BSD-3-Clause
@hackage / split Combinator library for splitting lists.
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / PSQueue Priority Search Queue
- Version: >=1.1 && <1.2
- License: BSD-3-Clause
@hackage / cmdtheline Declarative command-line option parsing and documentation library.
- Version: >=0.2 && <0.3
- License: MIT
@hackage / yjtools some tools for Monad, List, Tuple and so on.
- Version: >=0.9.7 && <0.10
- License: LicenseRef-LGPL
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.2 && <0.4
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4 && <0.6
- License: BSD-3-Clause
@hackage / time A time library
- Version: >=1.4 && <1.5
- License: BSD-2-Clause
@hackage / derive A program and library to derive instances for data types
- Version: >=2.5.11 && <2.6
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.9 && <0.11
- License: BSD-3-Clause
@hackage / composition Combinators for unorthodox function composition
- Version: >=0.2 && <1.1
- License: BSD-3-Clause
@hackage / cereal A binary serialization library
- Version: >=0.3 && <0.5
- License: BSD-3-Clause
@hackage / hslogger-template Automatic generation of hslogger functions
- Version: >=2.0 && <2.1
- License: LicenseRef-PublicDomain
@hackage / operational Implementation of difficult monads made easy with operational semantics.
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / multiset The Data.MultiSet container type
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.1 && <1.3
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.1 && <1.2
- License: BSD-3-Clause

executable:tutorial-8 (3 dependencies)

executable:tutorial-7 (3 dependencies)

executable:tutorial-6 (2 dependencies)

executable:tutorial-5 (2 dependencies)

executable:tutorial-4 (2 dependencies)

executable:tutorial-3 (2 dependencies)

executable:tutorial-2 (3 dependencies)

executable:tutorial-13 (3 dependencies)

executable:tutorial-12 (3 dependencies)

executable:tutorial-11 (2 dependencies)

executable:tutorial-10 (2 dependencies)

executable:tutorial-1 (2 dependencies)

executable:tutorial-9 (2 dependencies)

executable:count-all-nqueens-solutions (3 dependencies)

executable:count-all-trivial-tree-leaves (4 dependencies)

executable:print-all-nqueens-solutions (4 dependencies)

executable:print-an-nqueens-solution (4 dependencies)

executable:print-some-nqueens-solutions-using-pull (4 dependencies)

executable:print-some-nqueens-solutions-using-push (4 dependencies)

executable:readme-full (4 dependencies)

executable:readme-simple (3 dependencies)

test:tests (27 dependencies)

test:test-nqueens (9 dependencies)

benchmark:tree-versus-list-nqueens-using-sets (3 dependencies)

benchmark:tree-versus-list-lopsided-null-tree (3 dependencies)

benchmark:tree-versus-list-bind (3 dependencies)

benchmark:tree-versus-list-bind-and-mplus (3 dependencies)

benchmark:tree-versus-list-unit-tree (5 dependencies)

benchmark:tree-versus-list-trivial-tree (3 dependencies)

benchmark:tree-versus-list-null-tree (3 dependencies)

benchmark:tree-versus-list-nqueens-with-nothing-at-bottom (3 dependencies)

benchmark:tree-versus-list-nqueens-with-list-at-bottom (3 dependencies)

benchmark:tree-versus-list-fmap (3 dependencies)

benchmark:tree-versus-list-nqueens-using-bits (3 dependencies)

benchmark:tree-versus-list-nqueens (3 dependencies)

benchmark:tree-versus-list-lopsided-trivial-tree (3 dependencies)