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.4.0.tar.gz
md5=b8b1aff8c6846f2213eafc54de07b304
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-relation/bap-relation.2.4.0/opam