• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for LogicGrowsOnTrees-1.1.0.1 source tarball

LogicGrowsOnTrees-1.1.0.1/

• LICENSE
• LogicGrowsOnTrees.cabal
• Setup.hs
• benchmarks/
  • tree-versus-list-bind-and-mplus.hs
  • tree-versus-list-bind.hs
  • tree-versus-list-fmap.hs
  • tree-versus-list-lopsided-null-tree.hs
  • tree-versus-list-lopsided-trivial-tree.hs
  • tree-versus-list-nqueens-using-bits.hs
  • tree-versus-list-nqueens-using-sets.hs
  • tree-versus-list-nqueens-with-list-at-bottom.hs
  • tree-versus-list-nqueens-with-nothing-at-bottom.hs
  • tree-versus-list-nqueens.hs
  • tree-versus-list-null-tree.hs
  • tree-versus-list-trivial-tree.hs
  • tree-versus-list-unit-tree.hs
• c-sources/
  • queens.c
• examples/
  • count-all-nqueens-solutions.hs
  • count-all-trivial-tree-leaves.hs
  • print-all-nqueens-solutions.hs
  • print-an-nqueens-solution.hs
  • print-some-nqueens-solutions-using-pull.hs
  • print-some-nqueens-solutions-using-push.hs
  • readme-full.hs
  • readme-simple.hs
• sources/
  • LogicGrowsOnTrees.hs
  • LogicGrowsOnTrees/
    • Checkpoint.hs
    • Location.hs
    • Path.hs
    • Workload.hs
    • Examples/
      • MapColoring.hs
      • Queens.hs
      • Queens/
        • Advanced.hs
    • Parallel/
      • ExplorationMode.hs
      • Main.hs
      • Purity.hs
      • Adapter/
        • Threads.hs
      • Common/
        • Message.hs
        • Process.hs
        • RequestQueue.hs
        • Supervisor.hs
        • Worker.hs
        • Workgroup.hs
        • Supervisor/
          • Implementation.hs
    • Utils/
      • Handle.hs
      • IntSum.hs
      • PerfectTree.hs
      • WordSum.hs
      • Word_.hs
• tests/
  • test-nqueens.hs
  • tests.hs
• tutorial/
  • tutorial-1.hs
  • tutorial-10.hs
  • tutorial-11.hs
  • tutorial-12.hs
  • tutorial-2.hs
  • tutorial-3.hs
  • tutorial-4.hs
  • tutorial-5.hs
  • tutorial-6.hs
  • tutorial-7.hs
  • tutorial-8.hs
  • tutorial-9.hs