)]}'
{
  "id": "8eb77222343b2025eda290f545de90b1e6163ee3",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "5193813712f875e0fafa4181afb1f8c82dd5a7bd",
      "name": "LICENSE"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "842e340e8bc0b9cbc539e5393c0c851c3f5b8338",
      "name": "act_clause.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b0ff98aba3145902345f80a21e7f3ceb24744fa",
      "name": "act_var.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32b0bf93bf8329cde2c3a8e15dbec099f264eaf2",
      "name": "cdb.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9b05868b2aa20e673ed6375f6c62460e50e6e8bf",
      "name": "clause.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "48a0b0688591a4c3403d8fff18971cd1164fa1f8",
      "name": "cnf_reader.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "512094ee3ce74d2af5b89d25a3738d6bb34c9d15",
      "name": "module.make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "347bd187a3031ea1b307e9318d3cc14444b93d5b",
      "name": "satoko.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b15963455f529b5b9d22191204c7b1c36f9ef213",
      "name": "solver.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "52a81163fe931b94d3ed218c52b5a46de9a22d2f",
      "name": "solver.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0193b1c32bb34279772e67d6eb43fa47b820ec14",
      "name": "solver_api.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "06c190ab8275e3910f2ce521fa1f04a19f300855",
      "name": "types.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3db5fbfe1207f17303cc8fbe878255b7cdd1a8de",
      "name": "utils"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1bcbf3b43218606bf6c9a9c194b2cf4abb55b63e",
      "name": "watch_list.h"
    }
  ]
}