Package smcdel version 1.3.0-0 component lib:smcdel :: Monadoc

lib:smcdel

Modules

Dependencies

HasCacBDD lib:HasCacBDD >=0.2.0.0 && <0.3
QuickCheck lib:QuickCheck >=2.14.3 && <2.15
array lib:array >=0.5.4 && <0.6
base lib:base >=4.8 && <5
containers lib:containers >=0.6.7 && <0.7
cudd lib:cudd ==0.1.0.0
decision-diagrams lib:decision-diagrams >=0.2.0 && <0.3
directory lib:directory >=1.3.7 && <1.4
filepath lib:filepath >=1.4.2 && <1.5
graphviz lib:graphviz >=2999.20.2 && <2999.21
process lib:process >=1.6.18 && <1.7
tagged lib:tagged >=0.8.0 && <0.9
temporary lib:temporary >=1.3 && <1.4
text lib:text >=2.0.2 && <2.1
time lib:time >=1.12.2 && <1.13

Reverse dependencies

Direct only. Not exhaustive.

smcdel bench:bench-diningcrypto
smcdel bench:bench-muddychildren
smcdel bench:bench-sumandproduct
smcdel bench:sizes-diningcryptographers
smcdel bench:sizes-muddychildren
smcdel bench:sizes-sumandproduct
smcdel exe:smcdel
smcdel exe:smcdel-web
smcdel test:CUDD
smcdel test:examples
smcdel test:k
smcdel test:nonS5
smcdel test:translations