-
Alexandre Duret-Lutz authored
* wrap/python/buddy.i (bdd_implies): New function. * wrap/python/tests/implies.py: New file. * wrap/python/tests/Makefile.am: Add it.
821d5e54
* wrap/python/buddy.i (bdd_implies): New function. * wrap/python/tests/implies.py: New file. * wrap/python/tests/Makefile.am: Add it.