)]}'
{
  "id": "e4b5f8b973eea26cd6883abd8ac11a604b07baaa",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "240962dfc81b683fba31af4e498f9cf3b0712412",
      "name": "Alg.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "556d98f84cca64391b740110c203b5ace4fa1305",
      "name": "BasicHeap.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bddf410083724188d1a2853cb8fb51d26a54600c",
      "name": "BoxedVec.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b23d618799cff9f4a0ef3e288fcf66c0d86210c",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b07ccd152b3e7f5cb7bfb8945b48d4b3d368e69a",
      "name": "Heap.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c87a32731d4868a419d833d5d9f9989a91589772",
      "name": "LICENSE"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1ff41cdb808eb3c51d88f114c5fe7676670c162f",
      "name": "Main.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b6d76a31c2deff1acf097301ca297aa1fddb9ae8",
      "name": "Map.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2cc110ce9fa8c59c22383ffeaff088bc92613c9b",
      "name": "Queue.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "189ea9f950d8831159d1c1923a0acb6e94d8b348",
      "name": "Solver.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0137b6ff335c9b21e1bb353b63eaf707559ff66e",
      "name": "Solver.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "70fccfa6a6d282292cd758c146cca38d82b2f76d",
      "name": "SolverTypes.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1f301f5c29d5cee876db5b308b8699eeabea04c3",
      "name": "Sort.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e780aa1675c8aecc2df19961d07310aa1a2e65bc",
      "name": "Vec.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d475a0310b08b02671cad5d1e8cd18112b0795c9",
      "name": "long.cnf"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "42652fbd742e4316622de95733bf3d8a4d9b7540",
      "name": "minisat.reference_output"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d59bafa49fa6cd7069b1e7eef51eefacb52dd9a7",
      "name": "minisat.reference_output.small"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5bbb58cbdb176e2d35da4693b0ea796f5201fc38",
      "name": "short.cnf"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5dba5601b57bc216306544545adb1a730984c7fa",
      "name": "small.cnf"
    }
  ]
}