@hackage / cudd

Bindings to the CUDD binary decision diagrams library

0.1.0.4

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / smcdel Symbolic Model Checking for Dynamic Epistemic Logic
- Version: 1.3.0
- Last uploaded: 2 years ago
- License: GPL-2.0-only