mplisp

miniPicoLisp with FFI and modules for Buddy BDD library, OpenGL, Gtk and GMP
git clone https://logand.com/git/mplisp.git/
Log | Files | Refs

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")