idds
Identity-suppressed decision diagrams (IDDs)
Description
BDD and IDD implementation with hash-consing
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 07 Dec 2019
- Authors
- Maintainers
Sources
idds-0.2.tbz
sha256=0cb7c160cb45957dfd2603ca6d10dab80fef51d60e47b9d7a5a8b7970d30ac39
sha512=eddfd447f4ddac7873f762efd3cffb4987d06a44e21f765982673549da4a5771a101d98294267fb3fec458e0eccafc9ba05d9a715034307fc23b199a4c783deb
Dependencies
ppx_jane
>= "v0.12.0"
ppx_inline_test
with-test & >= "v0.12.0"
ppx_deriving
>= "4.3"
open
> "0"
odoc
with-doc
base
>= "v0.12.0"
dune
>= "1.10"
ocaml
>= "4.04.0"
Reverse Dependencies