package idds

You can search for identifiers within the package.

in-package search v0.2.0

Identity-suppressed decision diagrams (IDDs)

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

S

Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

S

Steffen Smolka <smolka@cs.cornell.edu>

Sources

sha256=0cb7c160cb45957dfd2603ca6d10dab80fef51d60e47b9d7a5a8b7970d30ac39

sha512=eddfd447f4ddac7873f762efd3cffb4987d06a44e21f765982673549da4a5771a101d98294267fb3fec458e0eccafc9ba05d9a715034307fc23b199a4c783deb

CHANGES.md.html

0.2 (2019-12-01)

Second release