)]}' { "id": "17ca424b7f5d52168d3fe7a03a6bf5102b25ca36", "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": "407624857e6d03ae0d8607308a9c745cddb297b9", "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": "135e6fb4a43def3fe6611b6632e740f92adf2a7f", "name": "Main.cpp" }, { "mode": 33188, "type": "blob", "id": "0a51430ab8b9ce6f2f790344ccfb47d96352c289", "name": "Makefile" }, { "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" } ] }