)]}'
{
  "id": "8deb2712f3cb33c5dd5ac03d5c1d65ceb360c492",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "f1b8cdbbe971e2fc7da18d270e9f5abdf340dd9c",
      "name": "license"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1c58785b9f1105784890ce70352d921c0e7602b9",
      "name": "module.make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "70bb9c85009bf0795fe51ced9a39b3080cde46c6",
      "name": "satChecker.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d2ed3b753af1fb95a6998af6b2a5ef2cb3e8dc91",
      "name": "satClause.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "45908225169cbc848cc7e1419eb84e3185dbd4b7",
      "name": "satInter.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "df127d1dc25856d1f574a9547936cfeab4d46023",
      "name": "satInterA.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8226fb6d73534f80b66ad6b0b330c2cea742f6f8",
      "name": "satInterB.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "efd03dd30d24a02941dfae7cfe77f4f238a27da2",
      "name": "satInterP.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "187d8d0a13da69c19bb4b39bf6b53270d64ec81c",
      "name": "satMem.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f27f7c1edcd0bc97108bae2901736b6b04666bc1",
      "name": "satMem.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a40671604f37eb7e708a01af0441b794252c8cd0",
      "name": "satProof.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b82d959089d10c171131453d749efec0a1b99758",
      "name": "satProof2.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "31ae8dae0508dfb8442b540030a6f75a90576f02",
      "name": "satSolver.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f412656710fa1297a585f1b685b66a6cd5d24e78",
      "name": "satSolver.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0d17766ce81490b23937a1850a40fec3547541a5",
      "name": "satSolver2.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8af545fc19a06a0698fbb50f668f2e3119445efe",
      "name": "satSolver2.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5ce6b48571ad79bc457ff9439aa2ab9b530f89f6",
      "name": "satSolver2i.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b61ce96cf8d1e235ba33ddd43e897a7ff29d0263",
      "name": "satSolver3.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2d2e7dedbe19e6973ac0546e726c821bd612b0c0",
      "name": "satSolver3.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ad055efe1eae7eb4305a0fb2950412886db30e34",
      "name": "satStore.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f2480a7d9fff06235a7c9d15d0c6bc7a63916d63",
      "name": "satStore.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ae701ce9ea8cddb56e1d7f8d772d925a5dd45405",
      "name": "satTrace.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "45d058ed228c671711243ff8860d14091596d9b2",
      "name": "satTruth.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d44bf6178515cf4ce663be428a6b5e5285d90134",
      "name": "satTruth.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a8cd3f7eb8ce792974ef4be14928322dd61a0c16",
      "name": "satUtil.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8cc8ba4eb526cc47c167c289f7f10c9c9ad5097a",
      "name": "satVec.h"
    }
  ]
}