The tamarin-prover-theory package

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

This library provides the types to represent security protocol, and it implements the constraint solver.

Properties

Versions	0.8.2.0, 0.8.4.0, 0.8.5.0
Dependencies	array (≥0.3 & <0.5), base (4.), binary (0.5.), bytestring (0.9.), cmdargs (0.9.), containers (≥0.4.2 & <0.5), deepseq (1.3.), derive (2.5.), directory (≥1.0 & <1.2), dlist (0.5.), fclabels (1.1.), filepath (≥1.1 & <1.4), HUnit (1.2.), mtl (2.0.), parallel (3.2.), parsec (3.1.), process (1.1.), safe (≥0.2 & <0.4), syb (≥0.3.3 & <0.4), tamarin-prover-term (≥0.8.2 & <0.9), tamarin-prover-utils (≥0.8.2 & <0.9), time (≥1.2 & <1.5), transformers (0.2.), uniplate (1.6.*)
License	GPL
Copyright	Benedikt Schmidt, Simon Meier, ETH Zurich, 2010-2012
Author	Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>, Simon Meier <simon.meier@inf.ethz.ch>
Maintainer	Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>
Category	Theorem Provers
Home page	http://www.infsec.ethz.ch/research/software/tamarin
Source repository	git clone https://github.com/tamarin-prover/tamarin-prover.git
Upload date	Fri Sep 28 06:49:23 UTC 2012
Uploaded by	SimonMeier
Build failure	ghc-7.6 (log)