)]}'
{
  "id": "82076c7aa525390b25bdf9b0dfac0439b470f890",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e92044db02f9aa42a92ad15825cf8607cfe1a090",
      "name": "AbcApi.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3e0745f1d3f0469f53d63228fb2fcda8d3792a06",
      "name": "Alg.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7f506cb5a96fae735485739347a4ab21318e5093",
      "name": "Alloc.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f26f152be278f81b7a80098c49e377644e63a0b4",
      "name": "Dimacs.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e5b4ddb56a99173ad3cab8b574e4131633147194",
      "name": "Heap.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1c011e83afa733fb015abcc2130b80bf30cdcc00",
      "name": "IntTypes.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "22816ff39b170f7161a9dd6df13812d04bdded91",
      "name": "LICENSE"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1f61f9eecca02191e80a8e0a820c9204380bdecb",
      "name": "MainSat.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4a890921087510c8830462c24d946f3f93fb7552",
      "name": "MainSimp.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1dd22a06d3854c4319e2be3e7d8febc49b7245fa",
      "name": "Map.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b30cff0e5fcbc15cc57b1eebe3956cdebae3bc99",
      "name": "Options.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "439cb8f216dccf08de1bec30e583858f55d652ce",
      "name": "Options.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8e0f9c8901a37bd534fa81a8cbc640bdccbf38a5",
      "name": "ParseUtils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "11b4291151acb75b06e088705815eeee28dcb8b1",
      "name": "Queue.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e5e5617d8c3deef161d38cb08cd14c2c2ce3559d",
      "name": "README"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7f084de2b4454e3335e480cc8254e707b6b845ea",
      "name": "ReleaseNotes-2.2.0.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5a7a006c21cb0d16d22355db7829c2d3a364cb25",
      "name": "SimpSolver.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e24b0e43057517be6092b91873a23de59c82531f",
      "name": "SimpSolver.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "451beed87b05e223f4eb9ef90aaa03715265841e",
      "name": "Solver.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fc0bb4ba2eaf029e5cc0f0c24da428b4e5300923",
      "name": "Solver.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f34deca1ca56852bec1e697f4b491a1f6ccd202d",
      "name": "SolverTypes.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cc96486d8c0b9137ea6b9f2238f2b182a145ff1b",
      "name": "Sort.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c2d6259e2861b0e4bd2d7d16c23ddd48488dfd7d",
      "name": "System.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d776c880c8355377e688de31a694c0489d129a40",
      "name": "System.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f0e07d016ab1f45608ad856449b714cfa5a31723",
      "name": "Vec.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1da176028d3458cae0fed04d905f545a1e7f45f7",
      "name": "XAlloc.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ddd11b1b96034642221cab3e096163d53166848b",
      "name": "module.make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3b6b4448980dca5cb8ab13cae102632e391c6b7a",
      "name": "pstdint.h"
    }
  ]
}