EVMDD Library for Python
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
evmdd
sphinx
.gitignore
CHANGELOG.rst
LICENSE.txt
README.rst
evmdd_script.py
setup.cfg
setup.py

README.rst

EVMDD Library for Python (pyevmdd)

The purpose of this small project is to provide a lightweight, pure Python EVMDD library. It is still in a very early stage of development.

Copyright

Copyright (C) 2016 Robert Mattmüller

This program is free software: you can redistribute it and/or modify it under the terms of the GNU 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 General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>