package idds

  1. Overview
  2. Docs
Identity-suppressed decision diagrams (IDDs)

Install

Dune Dependency

Authors

Maintainers

Sources

idds-0.2.tbz
sha256=0cb7c160cb45957dfd2603ca6d10dab80fef51d60e47b9d7a5a8b7970d30ac39
sha512=eddfd447f4ddac7873f762efd3cffb4987d06a44e21f765982673549da4a5771a101d98294267fb3fec458e0eccafc9ba05d9a715034307fc23b199a4c783deb

CHANGES.md.html

0.2 (2019-12-01)

  • Second release

OCaml

Innovation. Community. Security.