(C) 2018 Franck Pommereau franck.pommereau@univ-evry.fr
This library provides a Python binding for the Data Decision Diagrams library (libDDD) https://github.com/lip6/libDDD
- Python 3 (tested with 3.5.2), this binding is not expected to work with Python 2
- Cython (tested with 0.27.3)
libDDD (tested with 1.9.0) will be automatically downloaded and installed during the installation
Run python setup.py install as usual.
You may check the doctests in the module by running python3 test.py,
which should produce no output if everything goes well.
Module ddd exports two main class called ddd and sdd, they are
documented through their docstrings.
This binding intends to provide a high-level user interface to libDDD, so don't expect to be able to access all the internal features as one could do using libDDD from C++.
This program is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.
You have received a copy of the GNU Lesser General Public License along with this program, see file COPYING or http://www.gnu.org/licenses