| .. | | 03-May-2022 | - |
| APPNOTE_011_Design_Investigation/ | H | 03-May-2022 | - | 757 | 712 |
| CHAPTER_Eval/ | H | 03-May-2022 | - | 220 | 183 |
| CHAPTER_Prog/ | H | 03-Dec-2021 | - | 157 | 91 |
| CHAPTER_StateOfTheArt/ | H | 03-May-2022 | - | 2,045 | 1,597 |
| PRESENTATION_ExAdv/ | H | 03-Dec-2021 | - | 591 | 458 |
| PRESENTATION_ExOth/ | H | 03-Dec-2021 | - | 138 | 105 |
| PRESENTATION_ExSyn/ | H | 07-May-2022 | - | 251 | 196 |
| PRESENTATION_Intro/ | H | 07-May-2022 | - | 81 | 55 |
| PRESENTATION_Prog/ | H | 03-Dec-2021 | - | 110 | 80 |
| .gitignore | H A D | 03-Dec-2021 | 71 | 13 | 12 |
| APPNOTE_010_Verilog_to_BLIF.tex | H A D | 03-Dec-2021 | 16.7 KiB | 467 | 379 |
| APPNOTE_011_Design_Investigation.tex | H A D | 03-Dec-2021 | 45 KiB | 1,071 | 861 |
| APPNOTE_012_Verilog_to_BTOR.tex | H A D | 03-Dec-2021 | 12.3 KiB | 436 | 367 |
| CHAPTER_Appnotes.tex | H A D | 03-Dec-2021 | 1.1 KiB | 30 | 21 |
| CHAPTER_Approach.tex | H A D | 03-Dec-2021 | 6.7 KiB | 146 | 111 |
| CHAPTER_Auxlibs.tex | H A D | 03-Dec-2021 | 1.3 KiB | 36 | 23 |
| CHAPTER_Auxprogs.tex | H A D | 03-Dec-2021 | 888 | 27 | 17 |
| CHAPTER_Basics.tex | H A D | 03-Dec-2021 | 36.7 KiB | 840 | 675 |
| CHAPTER_CellLib.tex | H A D | 03-Dec-2021 | 49.8 KiB | 1,008 | 828 |
| CHAPTER_Eval.tex | H A D | 03-Dec-2021 | 12.8 KiB | 210 | 186 |
| CHAPTER_Intro.tex | H A D | 03-Dec-2021 | 4.9 KiB | 99 | 76 |
| CHAPTER_Optimize.tex | H A D | 03-Dec-2021 | 13.1 KiB | 325 | 257 |
| CHAPTER_Overview.tex | H A D | 03-Dec-2021 | 28 KiB | 561 | 454 |
| CHAPTER_Prog.tex | H A D | 03-Dec-2021 | 1.2 KiB | 28 | 15 |
| CHAPTER_StateOfTheArt.tex | H A D | 03-Dec-2021 | 13.4 KiB | 290 | 234 |
| CHAPTER_Techmap.tex | H A D | 03-Dec-2021 | 5.1 KiB | 103 | 79 |
| CHAPTER_TextRtlil.tex | H A D | 03-Dec-2021 | 9.9 KiB | 300 | 193 |
| CHAPTER_Verilog.tex | H A D | 03-Dec-2021 | 35.4 KiB | 855 | 758 |
| PRESENTATION_ExAdv.tex | H A D | 03-Dec-2021 | 33.1 KiB | 897 | 752 |
| PRESENTATION_ExOth.tex | H A D | 03-Dec-2021 | 6.8 KiB | 228 | 178 |
| PRESENTATION_ExSyn.tex | H A D | 03-Dec-2021 | 18.3 KiB | 516 | 414 |
| PRESENTATION_Intro.tex | H A D | 03-Dec-2021 | 31.8 KiB | 957 | 805 |
| PRESENTATION_Prog.tex | H A D | 03-Dec-2021 | 20.8 KiB | 597 | 467 |
| appnotes.sh | H A D | 03-May-2022 | 488 | 23 | 19 |
| clean.sh | H A D | 03-May-2022 | 150 | 3 | 1 |
| command-reference-manual.tex | H A D | 03-Dec-2021 | 288.9 KiB | 8,912 | 6,696 |
| literature.bib | H A D | 03-Dec-2021 | 6.3 KiB | 164 | 143 |
| manual.sh | H A D | 03-May-2022 | 828 | 60 | 47 |
| manual.tex | H A D | 03-Dec-2021 | 6.8 KiB | 231 | 190 |
| presentation.sh | H A D | 03-May-2022 | 818 | 55 | 43 |
| presentation.tex | H A D | 03-Dec-2021 | 4.6 KiB | 163 | 133 |
| weblinks.bib | H A D | 03-Dec-2021 | 3.6 KiB | 135 | 109 |