@hackage / cpsa

Symbolic cryptographic protocol analyzer

Latest4.4.9

Dependencies

executable:cpsa4init (2 dependencies)

@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.3.8 && <1.4
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause

executable:cpsa4shapes (2 dependencies)

@hackage / containers Assorted concrete container types
- Version: >=0.8 && <0.9
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause

executable:cpsa4sas (2 dependencies)

executable:cpsa4roletran (2 dependencies)

executable:cpsa4rolecoq (2 dependencies)

executable:cpsa4query (2 dependencies)

executable:cpsa4prot (2 dependencies)

executable:cpsa4pp (1 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause

executable:cpsa4json (1 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause

executable:cpsa4 (4 dependencies)

executable:cpsa4graph (2 dependencies)

executable:cpsa4goalsat (1 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause

executable:cpsa4dl (2 dependencies)

executable:cpsa4diff (1 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause

executable:cpsa4debranch (1 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause

executable:cpsa4dbprolog (2 dependencies)

executable:cpsa4db (2 dependencies)

executable:cpsa4coq (2 dependencies)

executable:cpsa42latex (1 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause