)]}'
{
  "id": "47f64edfd14b05452d29fdf9dd735517dc39ce92",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "d769547460d9663ba37bfc6472e060c7e7466556",
      "name": "Makefile"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b16a27b3a4344cfcc1ab303b83757e11074e2821",
      "name": "cuBdd.make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab88ba74ac7754a607f5671136074615229fa11b",
      "name": "cudd.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cb342a288a5993797cee1593e722f35d5018608",
      "name": "cudd.make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "155202736cb38e1d300517e21ccf142dfbf3fb84",
      "name": "cuddAPI.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "81e082532132bd8d8b69850cdddb9b7724831ba3",
      "name": "cuddAddAbs.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "86737f42366acc60dbaf6c32203c2d230b2d50f0",
      "name": "cuddAddApply.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "77cf026feacc81d8ed34790824b0a653dd3bccf3",
      "name": "cuddAddFind.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "14fcd3e1a1e704f8ffa25d955d509bfdbf544636",
      "name": "cuddAddInv.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "574159c64465ccb336391a15c602a3cb36c2aef2",
      "name": "cuddAddIte.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab36874d240ce8dee94108aff07f824caf8d160b",
      "name": "cuddAddNeg.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9e6940d97c3cf28a27d07d104eb33c8aa72575c6",
      "name": "cuddAddWalsh.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d9ad1d2364861ece9ca67c2dcb2185e9a3d046fa",
      "name": "cuddAndAbs.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "526aa17a0ec5898327c0c6be5179872f6b1c41ea",
      "name": "cuddAnneal.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c87c3d177e7d78cc0dd811c50f9bdb70e1a233aa",
      "name": "cuddApa.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cf0c0d41213c01a03122aad9f1cf2641bffe9709",
      "name": "cuddApprox.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bfdd08bad1b245c127b0f994dbfd7521e204548c",
      "name": "cuddBddAbs.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "72c57c9540d1e8d0852975790a6355bf416b7044",
      "name": "cuddBddCorr.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "803d5f1914ba67c758e15bfc0420e5bca03cbb33",
      "name": "cuddBddIte.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e5b6ba77ce34b23769ebab66cfd8ddc1bc496b6d",
      "name": "cuddBridge.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "683499420870b3d8d472042e4d5063de13a257b2",
      "name": "cuddCache.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32893a4a1396ccbb849b7f24e96d70f15881ec49",
      "name": "cuddCheck.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9e3572f90370e543389acdd1e3471a0021822c88",
      "name": "cuddClip.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cec56a625ba2a64254abd9b69033b9fb734152d7",
      "name": "cuddCof.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0341ef53bdfac46f7bd4a5454a378f3f18a5af70",
      "name": "cuddCompose.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1d534670caa94b0a0e4d05776173a8e02e9b3765",
      "name": "cuddDecomp.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fb6f3275601378178ae55ce3e4033778643b9090",
      "name": "cuddEssent.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "80c415572ad2aa411fb9783d867a6babe3a27880",
      "name": "cuddExact.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "41735a8c8fbf1e2739526f574b19dc282e164275",
      "name": "cuddExport.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0f22aa2a005dbf2f7336d4324a0130ada7e723c0",
      "name": "cuddGenCof.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "46194bfe990e6d4e45364c01438c48b77ca338ff",
      "name": "cuddGenetic.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e0b9ccf5470aa607af187d0a8556bdfc2e92d483",
      "name": "cuddGroup.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a8c7d5671404ff3cb58dc5a9465bd4a857271998",
      "name": "cuddHarwell.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f23d9e6e7a6d4720f6a0211009d36ffe922f03b3",
      "name": "cuddInit.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2ccf86a764a730bc2c9040db9625768b31b95be6",
      "name": "cuddInt.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "27e53a47ba630e95d68b76f5ab5d383b68410b60",
      "name": "cuddInteract.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f5bcfd66a7edfd929f3211d1032488b4cb03be74",
      "name": "cuddLCache.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5a88b772c0b2bfe69e13b58bf93a9bf9e8662546",
      "name": "cuddLevelQ.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0dd688f2b8d53c16006dd2ad4748fe9aebcbd3e2",
      "name": "cuddLinear.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "60e0564835b6dbf011c4633f13910d0e0bb84c70",
      "name": "cuddLiteral.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8cae2cea0711a6d6d348999c370f9c63873eaec",
      "name": "cuddMatMult.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aae5a732841b021312b4b920e249b6a1c9ed5c01",
      "name": "cuddPriority.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9b0d8416638be28c1aad1a7aef4fc0adfc149d76",
      "name": "cuddRead.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f3e643e2c6631d09aa509c131e9c09853402f1c5",
      "name": "cuddRef.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ded43855c9aefe223379220a23a5e96a6cdd0902",
      "name": "cuddReorder.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "899901dd2f5d4860ff831491472bbe346bf8d8f5",
      "name": "cuddSat.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4b54d639c198f223d08dad19702acefff0e2abf3",
      "name": "cuddSign.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "28f42f017e0069c38b662d0c3fb2cdbe98457248",
      "name": "cuddSolve.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "70f0f0d9316a491a7d941ca47df2b6f3c3bcf1dd",
      "name": "cuddSplit.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fb8eba6142fefd871d8b6a8ae2347fb4d2a87f95",
      "name": "cuddSubsetHB.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc490f162fb58f9ed12560f312c4973ea61fed25",
      "name": "cuddSubsetSP.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e6f49da4c847f289e70f36f716d0ce51749e2ad9",
      "name": "cuddSymmetry.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "04af1991a5ff5d28c6fa2055e4b4ac106906fd32",
      "name": "cuddTable.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fe913fee32ef152b153df231f3d6a783d9cf8bdd",
      "name": "cuddUtil.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7f887c7e1c20b5f0caa962e1c957119a56edebb9",
      "name": "cuddWindow.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a44a782cb777985cae0e15fbbb7d668706979a4a",
      "name": "cuddZddCount.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e845af8a6abd8c0d1234a69b04472ee6a5b2eb32",
      "name": "cuddZddFuncs.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f59722926f3a7a04ce03beeac9fa5ccb8fbbbe64",
      "name": "cuddZddGroup.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ace0807bd4ebf7469fc8f78c1c542d6ea00ca4b5",
      "name": "cuddZddIsop.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e2e3c3ad927bf933d0716eb1ef670687718f8bf",
      "name": "cuddZddLin.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e5d5f5e8e32e11f15e089345d17214500e1dfd6a",
      "name": "cuddZddMisc.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1faee73927cc9644adecf18c7323a53b5459ac85",
      "name": "cuddZddPort.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3a6ea8ed3dd35b1bea9152caf74304c84aca1bee",
      "name": "cuddZddReord.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "332607b9a708662b45f920cb9858614ca9f3573b",
      "name": "cuddZddSetop.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bdc5e65603ea3ca2be0cb8e69a1b3ad1c3b9c497",
      "name": "cuddZddSymm.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6a63227f44912ebffeaff19be77cdb69d1358330",
      "name": "cuddZddUtil.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1846ab78dd8d0b795b796bb66b916685b2587bda",
      "name": "license"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c526a50e77b12fdb66bf1909cfea315953d6d929",
      "name": "module.make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0dd0a0a8c43a0bd89ef08edbf68983475a95ee8",
      "name": "r7x8.1.mat"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e7108ee2c5930685854baf9b84f36ad0ceec710",
      "name": "r7x8.1.out"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f21f7816bb25c52e619654e695777cb38c6de2b3",
      "name": "testcudd.c"
    }
  ]
}