lib:decision-diagrams
Modules
Dependencies
- base lib:base >=4.11.0.0 && <5
- containers lib:containers >=0.5.11.0 && <0.8
- hashable lib:hashable >=1.2.7.0 && <1.6
- hashtables lib:hashtables >=1.2.3.1 && <1.4
- intern lib:intern >=0.9.1.2 && <1.0.0.0
- mwc-random lib:mwc-random >=0.13.6.0 && <0.16
- primitive lib:primitive >=0.6.3.0 && <0.10
- random lib:random >=1.1 && <1.3
- reflection lib:reflection >=2.1.4 && <2.2
- unordered-containers lib:unordered-containers >=0.2.9.0 && <0.3
- vector lib:vector >=0.12.0.2 && <0.14
Reverse dependencies
Direct only. Not exhaustive.
- decision-diagrams test:decision-diagrams-doctest
- decision-diagrams test:decision-diagrams-test
- smcdel lib:smcdel