lib:LogicGrowsOnTrees
Modules
- LogicGrowsOnTrees
- LogicGrowsOnTrees.Checkpoint
- LogicGrowsOnTrees.Examples.MapColoring
- LogicGrowsOnTrees.Examples.Queens
- LogicGrowsOnTrees.Examples.Queens.Advanced
- LogicGrowsOnTrees.Location
- LogicGrowsOnTrees.Parallel.Adapter.Threads
- LogicGrowsOnTrees.Parallel.Common.Message
- LogicGrowsOnTrees.Parallel.Common.Process
- LogicGrowsOnTrees.Parallel.Common.RequestQueue
- LogicGrowsOnTrees.Parallel.Common.Supervisor
- LogicGrowsOnTrees.Parallel.Common.Worker
- LogicGrowsOnTrees.Parallel.Common.Workgroup
- LogicGrowsOnTrees.Parallel.ExplorationMode
- LogicGrowsOnTrees.Parallel.Main
- LogicGrowsOnTrees.Parallel.Purity
- LogicGrowsOnTrees.Path
- LogicGrowsOnTrees.Utils.Handle
- LogicGrowsOnTrees.Utils.IntSum
- LogicGrowsOnTrees.Utils.PerfectTree
- LogicGrowsOnTrees.Utils.WordSum
- LogicGrowsOnTrees.Utils.Word_
- LogicGrowsOnTrees.Workload
Dependencies
- AbortT-mtl lib:AbortT-mtl >=1.0 && <1.1
- AbortT-transformers lib:AbortT-transformers >=1.0 && <1.1
- MonadCatchIO-transformers lib:MonadCatchIO-transformers >=0.3 && <0.4
- PSQueue lib:PSQueue >=1.1 && <1.2
- base lib:base >4 && <5
- bytestring lib:bytestring >=0.9 && <0.11
- cereal lib:cereal >=0.3 && <0.5
- cmdtheline lib:cmdtheline >=0.2 && <0.3
- composition lib:composition >=0.2 && <1.1
- containers lib:containers >=0.4 && <0.6
- data-ivar lib:data-ivar >=0.30 && <0.31
- derive lib:derive >=2.5.11 && <2.6
- directory lib:directory >=1.1 && <1.3
- hslogger lib:hslogger >=1.2 && <1.3
- hslogger-template lib:hslogger-template >=2.0 && <2.1
- lens lib:lens >=3.8 && <4.1
- monoid-statistics lib:monoid-statistics >=0.3 && <0.4
- mtl lib:mtl >=2.1 && <2.2
- multiset lib:multiset >=0.2 && <0.3
- old-locale lib:old-locale >=1.0 && <1.1
- operational lib:operational >=0.2 && <0.3
- prefix-units lib:prefix-units >=0.1 && <0.2
- pretty lib:pretty >=1.1 && <1.2
- sequential-index lib:sequential-index >=0.2 && <0.3
- split lib:split >=0.2 && <0.3
- stm lib:stm >=2.3 && <2.5
- time lib:time >=1.4 && <1.5
- transformers lib:transformers >=0.2 && <0.4
- void lib:void >=0.6 && <0.7
- yjtools lib:yjtools >=0.9.7 && <0.10
Reverse dependencies
Direct only. Not exhaustive.
- LogicGrowsOnTrees bench:tree-versus-list-nqueens
- LogicGrowsOnTrees bench:tree-versus-list-trivial-tree
- LogicGrowsOnTrees exe:count-all-nqueens-solutions
- LogicGrowsOnTrees exe:count-all-trivial-tree-leaves
- LogicGrowsOnTrees exe:print-all-nqueens-solutions
- LogicGrowsOnTrees exe:print-an-nqueens-solution
- LogicGrowsOnTrees exe:print-some-nqueens-solutions-using-pull
- LogicGrowsOnTrees exe:print-some-nqueens-solutions-using-push
- LogicGrowsOnTrees exe:readme-full
- LogicGrowsOnTrees exe:readme-simple
- LogicGrowsOnTrees exe:tutorial-1
- LogicGrowsOnTrees exe:tutorial-10
- LogicGrowsOnTrees exe:tutorial-11
- LogicGrowsOnTrees exe:tutorial-12
- LogicGrowsOnTrees exe:tutorial-13
- LogicGrowsOnTrees exe:tutorial-2
- LogicGrowsOnTrees exe:tutorial-3
- LogicGrowsOnTrees exe:tutorial-4
- LogicGrowsOnTrees exe:tutorial-5
- LogicGrowsOnTrees exe:tutorial-6
- LogicGrowsOnTrees exe:tutorial-7
- LogicGrowsOnTrees exe:tutorial-8
- LogicGrowsOnTrees exe:tutorial-9
- LogicGrowsOnTrees test:test-nqueens
- LogicGrowsOnTrees test:tests