The latest version of smcdel is 1.3.0-0.
lib:smcdel
Modules
- SMCDEL.Examples
- SMCDEL.Examples.Cheryl
- SMCDEL.Examples.CherylDemo
- SMCDEL.Examples.CoinFlip
- SMCDEL.Examples.DiningCrypto
- SMCDEL.Examples.DoorMat
- SMCDEL.Examples.DrinkLogic
- SMCDEL.Examples.GossipKw
- SMCDEL.Examples.GossipS5
- SMCDEL.Examples.LetterPassing
- SMCDEL.Examples.MuddyChildren
- SMCDEL.Examples.MuddyPlanning
- SMCDEL.Examples.Prisoners
- SMCDEL.Examples.RussianCards
- SMCDEL.Examples.SallyAnne
- SMCDEL.Examples.SimpleK
- SMCDEL.Examples.SimpleS5
- SMCDEL.Examples.SumAndProduct
- SMCDEL.Examples.WhatSum
- SMCDEL.Explicit.DEMO_S5
- SMCDEL.Explicit.K
- SMCDEL.Explicit.S5
- SMCDEL.Internal.Help
- SMCDEL.Internal.Lex
- SMCDEL.Internal.MyHaskCUDD
- SMCDEL.Internal.Parse
- SMCDEL.Internal.TaggedBDD
- SMCDEL.Internal.TexDisplay
- SMCDEL.Internal.Token
- SMCDEL.Language
- SMCDEL.Other.BDD2Form
- SMCDEL.Other.MCTRIANGLE
- SMCDEL.Other.Planning
- SMCDEL.Symbolic.K
- SMCDEL.Symbolic.S5
- SMCDEL.Symbolic.S5_CUDD
- SMCDEL.Translations.Convert
- SMCDEL.Translations.K
- SMCDEL.Translations.S5
Dependencies
- HasCacBDD lib:HasCacBDD >=0.1.0.1 && <0.2
- QuickCheck lib:QuickCheck >=0
- array lib:array >=0
- base lib:base >=4.8 && <5
- containers lib:containers >=0
- cudd lib:cudd ==0.1.0.0
- graphviz lib:graphviz >=0
- process lib:process >=0
- tagged lib:tagged >=0
- temporary lib:temporary >=0
- text lib:text >=0
- time lib:time >=0
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