{
  "name": "ocaml-sat-solvers",
  "version": "0.8",
  "files": [
    "doc/ocaml-sat-solvers/Satwrapper/class-satWrapper/index.html",
    "doc/ocaml-sat-solvers/Satwrapper/class-solverFactory/index.html",
    "doc/ocaml-sat-solvers/Satwrapper/class-abstractSolver/index.html",
    "doc/ocaml-sat-solvers/Satwrapper/index.html",
    "doc/ocaml-sat-solvers/Timing/index.html",
    "doc/ocaml-sat-solvers/Satsolvers/index.html",
    "doc/ocaml-sat-solvers/Satsolutionparserhelper/index.html",
    "doc/ocaml-sat-solvers/Pseudosatwrapper/class-pseudoSolverFactory/index.html",
    "doc/ocaml-sat-solvers/Pseudosatwrapper/index.html",
    "doc/ocaml-sat-solvers/Satsolverregistry/index.html",
    "doc/ocaml-sat-solvers/Satsolutionparser/index.html",
    "doc/ocaml-sat-solvers/Preprocessor/class-preprocessorSolverFactory/index.html",
    "doc/ocaml-sat-solvers/Preprocessor/index.html",
    "doc/ocaml-sat-solvers/Minisatwrapper/class-minisatSolverFactory/index.html",
    "doc/ocaml-sat-solvers/Minisatwrapper/index.html",
    "doc/ocaml-sat-solvers/Satsolutionlexer/index.html",
    "doc/ocaml-sat-solvers/Internalsatwrapper/class-internalSatSolverFactory/index.html",
    "doc/ocaml-sat-solvers/Internalsatwrapper/index.html",
    "doc/ocaml-sat-solvers/Externalsat/class-externalSolverFactory/index.html",
    "doc/ocaml-sat-solvers/Externalsat/index.html",
    "doc/ocaml-sat-solvers/index.html",
    "doc/src/ocaml-sat-solvers/satsolverregistry.ml.html",
    "doc/src/ocaml-sat-solvers/satsolvers.ml.html",
    "doc/src/ocaml-sat-solvers/timing.ml.html",
    "doc/src/ocaml-sat-solvers/satwrapper.ml.html", "doc/src/index.html",
    "doc/README.html", "doc/CHANGES.html", "doc/index.html",
    "doc/LICENSE.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Pseudosatwrapper/class-pseudoSolverFactory/index.html",
      "new_path": "doc/ocaml-sat-solvers/Pseudosatwrapper/class-pseudoSolverFactory/index.html"
    },
    {
      "old_path": "doc/Preprocessor/class-preprocessorSolverFactory/index.html",
      "new_path": "doc/ocaml-sat-solvers/Preprocessor/class-preprocessorSolverFactory/index.html"
    },
    {
      "old_path": "doc/Satsolutionparser/index.html",
      "new_path": "doc/ocaml-sat-solvers/Satsolutionparser/index.html"
    },
    {
      "old_path": "doc/Satsolvers/index.html",
      "new_path": "doc/ocaml-sat-solvers/Satsolvers/index.html"
    },
    {
      "old_path": "doc/Satwrapper/class-satWrapper/index.html",
      "new_path": "doc/ocaml-sat-solvers/Satwrapper/class-satWrapper/index.html"
    },
    {
      "old_path": "doc/Minisatwrapper/index.html",
      "new_path": "doc/ocaml-sat-solvers/Minisatwrapper/index.html"
    },
    {
      "old_path": "doc/Externalsat/class-externalSolverFactory/index.html",
      "new_path": "doc/ocaml-sat-solvers/Externalsat/class-externalSolverFactory/index.html"
    },
    {
      "old_path": "doc/Timing/index.html",
      "new_path": "doc/ocaml-sat-solvers/Timing/index.html"
    },
    {
      "old_path": "doc/Satsolverregistry/index.html",
      "new_path": "doc/ocaml-sat-solvers/Satsolverregistry/index.html"
    },
    {
      "old_path": "doc/Preprocessor/index.html",
      "new_path": "doc/ocaml-sat-solvers/Preprocessor/index.html"
    },
    {
      "old_path": "doc/Internalsatwrapper/index.html",
      "new_path": "doc/ocaml-sat-solvers/Internalsatwrapper/index.html"
    },
    {
      "old_path": "doc/Internalsatwrapper/class-internalSatSolverFactory/index.html",
      "new_path": "doc/ocaml-sat-solvers/Internalsatwrapper/class-internalSatSolverFactory/index.html"
    },
    {
      "old_path": "doc/Satsolutionlexer/index.html",
      "new_path": "doc/ocaml-sat-solvers/Satsolutionlexer/index.html"
    },
    {
      "old_path": "doc/Satwrapper/index.html",
      "new_path": "doc/ocaml-sat-solvers/Satwrapper/index.html"
    },
    {
      "old_path": "doc/Satsolutionparserhelper/index.html",
      "new_path": "doc/ocaml-sat-solvers/Satsolutionparserhelper/index.html"
    },
    {
      "old_path": "doc/Minisatwrapper/class-minisatSolverFactory/index.html",
      "new_path": "doc/ocaml-sat-solvers/Minisatwrapper/class-minisatSolverFactory/index.html"
    },
    {
      "old_path": "doc/Satwrapper/class-solverFactory/index.html",
      "new_path": "doc/ocaml-sat-solvers/Satwrapper/class-solverFactory/index.html"
    },
    {
      "old_path": "doc/Satwrapper/class-abstractSolver/index.html",
      "new_path": "doc/ocaml-sat-solvers/Satwrapper/class-abstractSolver/index.html"
    },
    {
      "old_path": "doc/Pseudosatwrapper/index.html",
      "new_path": "doc/ocaml-sat-solvers/Pseudosatwrapper/index.html"
    },
    {
      "old_path": "doc/Externalsat/index.html",
      "new_path": "doc/ocaml-sat-solvers/Externalsat/index.html"
    }
  ]
}