bap-relationversion

A set of relations (bimap)

A relation between two sets is a set of pairs made from the elements of these sets. This library implements a bidirectional mapping between two sets and computes their matching that defines bijections between the sets.

AuthorBAP Team
LicenseMIT
Published
Homepagehttps://github.com/BinaryAnalysisPlatform/bap/
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/bap/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
Source [http] https://github.com/BinaryAnalysisPlatform/bap/archive/v2.2.0.tar.gz
md5=5dbc6677d646bec59fd7414f23e88cf8
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-relation/bap-relation.2.2.0/opam
Required by