lib:tamarin-prover-term
Modules
- Term.Builtin.Convenience
- Term.Builtin.Rules
- Term.Builtin.Signature
- Term.LTerm
- Term.Maude.Parser
- Term.Maude.Process
- Term.Maude.Signature
- Term.Maude.Types
- Term.Narrowing.Variants
- Term.Narrowing.Variants.Check
- Term.Narrowing.Variants.Compute
- Term.Positions
- Term.Rewriting.Definitions
- Term.Rewriting.Norm
- Term.Substitution
- Term.Subsumption
- Term.SubtermRule
- Term.Unification
- Term.UnitTests
- Term.VTerm
Dependencies
- HUnit lib:HUnit >=1 && <2
- attoparsec lib:attoparsec >=0.10 && <0.11
- base lib:base >=4 && <5
- binary lib:binary >=0 && <1
- bytestring lib:bytestring >=0.9
- containers lib:containers >=0.4.2
- deepseq lib:deepseq >=1.3
- derive lib:derive >=2 && <3
- directory lib:directory >=1.1
- dlist lib:dlist >=0.5 && <0.6
- mtl lib:mtl >=2 && <3
- parsec lib:parsec >=3.1 && <3.2
- process lib:process >=1.1
- safe lib:safe >=0.2
- split lib:split >=0.1 && <0.2
- syb lib:syb >=0.3.3
- tamarin-prover-utils lib:tamarin-prover-utils >=0.8.5.1 && <0.9
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- tamarin-prover exe:tamarin-prover
- tamarin-prover-theory lib:tamarin-prover-theory