buddy-test.l (225B)
1 (de and-graph (filename) 2 (bdd_init 1000 1000) 3 (bdd_setvarnum 2) 4 (bdd_and (bdd_ithvar 0) (bdd_ithvar 1)) 5 (bdd_fnprintdot filename (bdd_and (bdd_ithvar 0) (bdd_ithvar 1))) 6 (bdd_done)) 7 8 (and-graph "/tmp/and.dot")
mplispminiPicoLisp with FFI and modules for Buddy BDD library, OpenGL, Gtk and GMP | |
git clone https://logand.com/git/mplisp.git/ | |
Log | Files | Refs |