Opam Package bap-knowledge.2.2.0

Package info

opam-namebap-knowledge
opam-version2.2.0
synopsisKnowledge Representation Library
description The library provides facilities for storing, accumulating, and computing knowledge. The knowledge could be represented indirectly, in the Knowledge Base, or directly as knowledge values. The library focuses on representing knowledge that is partial and provides mechanisms for knowledge accumulation and refinement. The knowledge representation library leverages the powerful type system of the OCaml language to facilitate development of complex knowledge representation and reasoning systems.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (5)
revdeps (21)
metas (1)
libraries (1)

Package modules

Package sources

bap-knowledge

Package files

lib/bap-knowledge/knowledge.cmxs
lib/bap-knowledge/knowledge.cmxa
lib/bap-knowledge/knowledge.cma
lib/bap-knowledge/knowledge.a
lib/bap-knowledge/bap_knowledge.mli
lib/bap-knowledge/bap_knowledge.cmx
lib/bap-knowledge/bap_knowledge.cmti
lib/bap-knowledge/bap_knowledge.cmt
lib/bap-knowledge/bap_knowledge.cmi
lib/bap-knowledge/bap_knowledge.annot
lib/bap-knowledge/META
lib/bap-knowledge