@hackage tamarin-prover-term0.1.0.0

Term manipulation library for the tamarin prover.

This is an internal library of the tamarin prover for security protocol verification (hackage.haskell.org/package/tamarin-prover).

This library provides term manipulation infrastructure (matching, unification, narrowing, finite variants) for the tamarin prover. It uses maude (http://maude.cs.uiuc.edu/) as a backend for normalization, equational matching, and unification.