@hackage / LogicGrowsOnTrees-MPI

an adapter for LogicGrowsOnTrees that uses MPI

Latest1.0.0.1.1

Dependencies

library:LogicGrowsOnTrees-MPI (13 dependencies)

@hackage / data-ivar Write-once variables with concurrency support
- Version: >=0.30 && <1.0
- 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 / LogicGrowsOnTrees a parallel implementation of logic programming using distributed tree exploration
- Version: >=1.0 && <1.2
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >4 && <5
- License: BSD-3-Clause
@hackage / stm Software Transactional Memory
- Version: >=2.3 && <2.5
- License: BSD-3-Clause
@hackage / hslogger Versatile logging framework
- Version: >=1.2 && <1.3
- License: BSD-3-Clause
@hackage / cmdtheline Declarative command-line option parsing and documentation library.
- Version: >=0.2 && <0.3
- License: MIT
@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 / derive A program and library to derive instances for data types
- Version: >=2.5.9 && <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 / 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

executable:count-all-trivial-tree-leavesl (5 dependencies)

executable:test-nqueens (6 dependencies)

executable:test-trivial (4 dependencies)