)]}'
{
  "id": "2fa587c8643751fbd6c05e2a4e13047c98a3c302",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "110f65b1900aa014c1664913c2919eea448c32ee",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0ecdf61942245810f0663fc674da99ad96e44713",
      "name": "APPNOTE_010_Verilog_to_BLIF.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9780c78336cde92a2a3e91832d68157dd08fe8cc",
      "name": "APPNOTE_011_Design_Investigation.tex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dd8aec59213dd7fcc63fc5a781327de71d75a1ca",
      "name": "APPNOTE_011_Design_Investigation"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1bc2778760e46c70333382930b772061c3f52fa0",
      "name": "APPNOTE_012_Verilog_to_BTOR.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e0d093290e400622decdfc06e4925a7f453d5154",
      "name": "CHAPTER_Appnotes.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4b170ee0ae8f1d0d631121d9dd90ecdebaffaedf",
      "name": "CHAPTER_Approach.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "440ea13754c799adcf2818d95ae6eecd4af24aea",
      "name": "CHAPTER_Auxlibs.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "724d37f0b9c4ebce8bd3aef78db9d00a219195eb",
      "name": "CHAPTER_Auxprogs.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5c60b7305a3359d007594f0501188573606ac115",
      "name": "CHAPTER_Basics.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0106059b6a37443d9237350cb0009d021c08e6c7",
      "name": "CHAPTER_CellLib.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f719618d50e624eac2b081a49aa8e3562e967dcd",
      "name": "CHAPTER_Eval.tex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9211ffc9f20390b6fc20908151e1f0a99cc715f7",
      "name": "CHAPTER_Eval"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "76e5d847bdb24526dad8e7e6e6e9116f5a271892",
      "name": "CHAPTER_Intro.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eee92ef5c5a3fbcf471f14c88e0773533c666521",
      "name": "CHAPTER_Optimize.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3009bf2c030fc8bf7fd98a833ac3327ccec4be0f",
      "name": "CHAPTER_Overview.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3cbc95a195de0783cf023c1558b48b7ec3a1a967",
      "name": "CHAPTER_Prog.tex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d898f74afd00f6c4edffc7a629e45d23eb58746e",
      "name": "CHAPTER_Prog"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2d0c77a01a5f8e6dbb3cb06f4d1b10c3c4815a35",
      "name": "CHAPTER_StateOfTheArt.tex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3ddef9aefbf88a63e1249d88a2b5429b4d31d2bb",
      "name": "CHAPTER_StateOfTheArt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "13aa8e5a35fae0164305075e5370fca969d3d906",
      "name": "CHAPTER_Techmap.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e9ca6114e01a98f890f166b7d425c5591a586791",
      "name": "CHAPTER_Verilog.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ef8f64cec11b96af4ec393cdb448531f142b2ef0",
      "name": "PRESENTATION_ExAdv.tex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8b5f5f485c24628cb794a0c6de43335659282ad7",
      "name": "PRESENTATION_ExAdv"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73f8bea2e5c4d75808f14fe73c82fb2714b00804",
      "name": "PRESENTATION_ExOth.tex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1afcd4860e8576a0d86d203dbfcde2db1d33271b",
      "name": "PRESENTATION_ExOth"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "655720ebc6482331f8b0e8460382be679bd4e32d",
      "name": "PRESENTATION_ExSyn.tex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9dc4a18fb59d1be7e97148e828ae909f7bbf30d7",
      "name": "PRESENTATION_ExSyn"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "555ec9175d9b1fb9392587912a33cc8c639b2e62",
      "name": "PRESENTATION_Intro.tex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1f065ab376b07d10bad9517df10428faf7e3610b",
      "name": "PRESENTATION_Intro"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b85eda89272b0cb1cbb3fd059c55fab22c0588cb",
      "name": "PRESENTATION_Prog.tex"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d4c04f7e09b57a58f4539cc019cf912c44ccf924",
      "name": "PRESENTATION_Prog"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "0ae52862ec1c0cf76af28863e4c7200d16f8da07",
      "name": "appnotes.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "addc34ed1838de9f67454e70b3d9c13b5f9c58c1",
      "name": "clean.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bed6326e2446a94fabaa79f967e709dce66aa3d9",
      "name": "command-reference-manual.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "372e882ac2167e622fc1e0d917db41458371c887",
      "name": "literature.bib"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "c4673938acaf6b66c2b47b9fde4515b6f347670b",
      "name": "manual.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "67982cbc8168e7f4b257e026c45453aee29533d8",
      "name": "manual.tex"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "ca8a6c93c10af9f229ab7258799f380b6aa6b224",
      "name": "presentation.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "63b963bbdd5a4f03fd6c5f106dafd41b6832294c",
      "name": "presentation.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d5f83315dcf458513d985d3bf8301b1e920ee4fb",
      "name": "weblinks.bib"
    }
  ]
}