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 && <1.3
• array lib:array >=0.3 && <0.5
• base lib:base >=4 && <5
• binary lib:binary >=0.5 && <0.6
• bytestring lib:bytestring >=0.9 && <0.10
• cmdargs lib:cmdargs >=0.10 && <0.11
• containers lib:containers >=0.4.2 && <0.5
• deepseq lib:deepseq >=1.3 && <1.4
• derive lib:derive >=2.5 && <2.6
• directory lib:directory >=1.0 && <1.2
• dlist lib:dlist >=0.5 && <0.6
• fclabels lib:fclabels >=1.1 && <1.2
• filepath lib:filepath >=1.1 && <1.4
• mtl lib:mtl >=2.0 && <2.1
• parallel lib:parallel >=3.2 && <3.3
• parsec lib:parsec >=3.1 && <3.2
• process lib:process >=1.1 && <1.2
• safe lib:safe >=0.2 && <0.4
• syb lib:syb (>=0.3 && <0.4) && >=0.3.3
• tamarin-prover-term lib:tamarin-prover-term >=0.8.4 && <0.9
• tamarin-prover-utils lib:tamarin-prover-utils >=0.8.4 && <0.9
• time lib:time >=1.2 && <1.5
• transformers lib:transformers >=0.2 && <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