)]}'
{
  "id": "09b8100f526f4b34952fa2dfd34c2d78e66d74eb",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "a6389ab13f17be75f753cceeadaffcfca1f9e66c",
      "name": "license"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1d7352e2bf4205f2a4999770c4aff31de0c3b9f7",
      "name": "module.make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b2962d91c87b6177b2ebef454cc46094b76e9c77",
      "name": "xsat.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f75f365058da160af396ea3d1fc02734688743e8",
      "name": "xsatBQueue.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ef353198da7233d44a39d0b897b7b79b0d200893",
      "name": "xsatClause.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d23e8a0a6bc85f17d2b103ad56ffb608b3722637",
      "name": "xsatCnfReader.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "409ce4604f28cf22712b26d336115bcf869d3803",
      "name": "xsatHeap.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "129c2f503ae43a3065adff817fae1c8d4837e6eb",
      "name": "xsatMemory.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4844ca1df99561c98a03fc31071093b442e2d94c",
      "name": "xsatSolver.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "36432e03dfdba48fbf3bf9632b832b0dc336f2a7",
      "name": "xsatSolver.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7746dc0be00526f441ac0503588cedf42adde294",
      "name": "xsatSolverAPI.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7f774d85b562bff64d74535e64caa2619dc73e77",
      "name": "xsatUtils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "284be1008b94f4832f814631b2c9d54667f99552",
      "name": "xsatWatchList.h"
    }
  ]
}