benmandrew/bdd-tutorial
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Tutorial on combining Binary Decision Diagrams (BDDs)
5 commits 1 branch 0 tags 39 KiB
  • TeX 91.2%
  • Makefile 8.8%
Find a file
Exact
benmandrew ef732ef9d4 Add pdflatex to deps
2024-03-17 19:43:07 +01:00
src A load of other stuff 2024-03-16 22:47:15 +01:00
.gitignore init 2024-03-13 21:27:17 +01:00
article.md A load of other stuff 2024-03-16 22:47:15 +01:00
article.tex Add tex file for pdf 2024-03-17 19:41:21 +01:00
LICENSE init 2024-03-13 21:27:17 +01:00
Makefile Add tex file for pdf 2024-03-17 19:41:21 +01:00
README.md Add pdflatex to deps 2024-03-17 19:43:07 +01:00

README.md

Build BDD images and article PDF

make all -j8

Required dependencies

  • graphviz
  • imagemagick
  • pdflatex