lib:tamarin-prover-theory

Modules

• Theory
• Theory.Constraint.Solver
• Theory.Constraint.Solver.CaseDistinctions
• Theory.Constraint.Solver.Contradictions
• Theory.Constraint.Solver.Goals
• Theory.Constraint.Solver.ProofMethod
• Theory.Constraint.Solver.Reduction
• Theory.Constraint.Solver.Simplify
• Theory.Constraint.Solver.Types
• Theory.Constraint.System
• Theory.Constraint.System.Constraints
• Theory.Constraint.System.Dot
• Theory.Constraint.System.Guarded
• Theory.Model
• Theory.Model.Atom
• Theory.Model.Fact
• Theory.Model.Formula
• Theory.Model.Rule
• Theory.Model.Signature
• Theory.Proof
• Theory.Text.Parser
• Theory.Text.Parser.Token
• Theory.Text.Pretty
• Theory.Tools.AbstractInterpretation
• Theory.Tools.EquationStore
• Theory.Tools.InjectiveFactInstances
• Theory.Tools.IntruderRules
• Theory.Tools.LoopBreakers
• Theory.Tools.RuleVariants
• Theory.Tools.Wellformedness

Dependencies

• HUnit lib:HUnit >=1.2
• array lib:array >=0.3
• base lib:base >=4 && <5
• binary lib:binary >=0.5 && <0.6
• bytestring lib:bytestring >=0.9
• cmdargs lib:cmdargs >=0.10 && <0.11
• containers lib:containers >=0.4.2
• deepseq lib:deepseq >=1.3
• derive lib:derive >=2.5 && <2.6
• directory lib:directory >=1.0
• dlist lib:dlist >=0.5
• fclabels lib:fclabels >=1 && <2
• filepath lib:filepath >=1.1
• mtl lib:mtl >=2.1
• parallel lib:parallel >=3.2
• parsec lib:parsec >=3.1 && <3.2
• process lib:process >=1.1
• safe lib:safe >=0.2 && <0.4
• syb lib:syb >=0.3.3
• tamarin-prover-term lib:tamarin-prover-term >=0.8.5.1 && <0.9
• tamarin-prover-utils lib:tamarin-prover-utils >=0.8.5.1 && <0.9
• time lib:time >=1.2
• transformers lib:transformers >=0.3
• uniplate lib:uniplate >=1.6 && <1.7

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• tamarin-prover exe:tamarin-prover