The LogicGrowsOnTrees-MPI package

[Tags: bsd3, library]

IF YOU ARE READING THIS ON HACKAGE then click here to browse the package reference documentation. (The package unfortunately cannot be built on the Hackage server because MPI is not installed on it.)

This package provides a adapter for the LogicGrowsOnTrees package that uses MPI for parallelism. See the module documentation for more details.

NOTE: You need to have an MPI implementation installed to use the package; no thread support is required, and it only uses very simple functionality so MPI 1.0 or 1.1 should suffice. Also, mpi.h needs to be in the include path and a library named mpi (libmpi in unix) in the library path; if these files are not in their respective paths, you can add their directories to their respective search paths for this package by using Cabal's respective --extra-include-dirs=... and --extra-lib-dirs=... options.


Dependenciesbase (>4 && <5), bytestring (>=0.9 && <0.11), cereal (>=0.3 && <0.5), cmdtheline (==0.2.*), containers (>=0.4 && <0.6), data-ivar (>=0.30 && <1.0), derive (>=2.5.9 && <2.6), hslogger (==1.2.*), hslogger-template (==2.0.*), LogicGrowsOnTrees (>=1.0 && <1.2), LogicGrowsOnTrees-MPI, MonadCatchIO-transformers (==0.3.*), stm (>=2.3 && <2.5), transformers (>=0.2 && <0.4) [details]
AuthorGregory Crosswhite
MaintainerGregory Crosswhite <>
CategoryControl, Distributed Computing, Logic, Parallelism
Bug tracker
Source repositoryhead: git clone git://
this: git clone git://
Executablestest-nqueens, test-trivial, count-all-trivial-tree-leavesl
UploadedSun Mar 9 04:31:33 UTC 2014 by GregoryCrosswhite
Downloads752 total (6 in last 30 days)
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-12-08 [all 7 reports]



warningsEnables most warnings.DisabledAutomatic
examplesEnable building the example executables.DisabledAutomatic
testsEnable building the test executables.DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees