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