Opam Package datalog.0.6

Package info

opam-namedatalog
opam-version0.6
synopsisAn in-memory datalog implementation for OCaml
authors
  • Simon Cruanes
homepagehttps://github.com/c-cube/datalog
licenseBSD-2-Clause
readme-fileREADME.md
deps (4)
revdeps(0)
metas (4)
libraries (4)

Package modules

Package sources

datalog

Package files

lib/datalog/version.ml
lib/datalog/unix/datalog_unix.cmxs
lib/datalog/unix/datalog_unix.cmxa
lib/datalog/unix/datalog_unix.cmx
lib/datalog/unix/datalog_unix.cmti
lib/datalog/unix/datalog_unix.cmt
lib/datalog/unix/datalog_unix.cmi
lib/datalog/unix/datalog_unix.cma
lib/datalog/unix/datalog_unix.a
lib/datalog/unix/Datalog_unix.mli
lib/datalog/unix/Datalog_unix.ml
lib/datalog/unix
lib/datalog/top_down/datalog_top_down__Parser.cmx
lib/datalog/top_down/datalog_top_down__Parser.cmti
lib/datalog/top_down/datalog_top_down__Parser.cmt
lib/datalog/top_down/datalog_top_down__Parser.cmi
lib/datalog/top_down/datalog_top_down__Lexer.cmx
lib/datalog/top_down/datalog_top_down__Lexer.cmt
lib/datalog/top_down/datalog_top_down__Lexer.cmi
lib/datalog/top_down/datalog_top_down__AST.cmx
lib/datalog/top_down/datalog_top_down__AST.cmt
lib/datalog/top_down/datalog_top_down__AST.cmi
lib/datalog/top_down/datalog_top_down__.ml
lib/datalog/top_down/datalog_top_down__.cmx
lib/datalog/top_down/datalog_top_down__.cmt
lib/datalog/top_down/datalog_top_down__.cmi
lib/datalog/top_down/datalog_top_down.cmxs
lib/datalog/top_down/datalog_top_down.cmxa
lib/datalog/top_down/datalog_top_down.cmx
lib/datalog/top_down/datalog_top_down.cmti
lib/datalog/top_down/datalog_top_down.cmt
lib/datalog/top_down/datalog_top_down.cmi
lib/datalog/top_down/datalog_top_down.cma
lib/datalog/top_down/datalog_top_down.a
lib/datalog/top_down/Parser.mli
lib/datalog/top_down/Parser.ml
lib/datalog/top_down/Lexer.ml
lib/datalog/top_down/Datalog_top_down.mli
lib/datalog/top_down/Datalog_top_down.ml
lib/datalog/top_down/AST.ml
lib/datalog/top_down
lib/datalog/opam
lib/datalog/dune-package
lib/datalog/default.mli
lib/datalog/default.ml
lib/datalog/datalog__Version.cmx
lib/datalog/datalog__Version.cmt
lib/datalog/datalog__Version.cmi
lib/datalog/datalog__Parser.cmx
lib/datalog/datalog__Parser.cmti
lib/datalog/datalog__Parser.cmt
lib/datalog/datalog__Parser.cmi
lib/datalog/datalog__Lexer.cmx
lib/datalog/datalog__Lexer.cmt
lib/datalog/datalog__Lexer.cmi
lib/datalog/datalog__Default.cmx
lib/datalog/datalog__Default.cmti
lib/datalog/datalog__Default.cmt
lib/datalog/datalog__Default.cmi
lib/datalog/datalog__BottomUp.cmx
lib/datalog/datalog__BottomUp.cmti
lib/datalog/datalog__BottomUp.cmt
lib/datalog/datalog__BottomUp.cmi
lib/datalog/datalog__AST.cmx
lib/datalog/datalog__AST.cmti
lib/datalog/datalog__AST.cmt
lib/datalog/datalog__AST.cmi
lib/datalog/datalog.ml
lib/datalog/datalog.cmxs
lib/datalog/datalog.cmxa
lib/datalog/datalog.cmx
lib/datalog/datalog.cmt
lib/datalog/datalog.cmi
lib/datalog/datalog.cma
lib/datalog/datalog.a
lib/datalog/caml_interface/datalog_caml_interface.cmxs
lib/datalog/caml_interface/datalog_caml_interface.cmxa
lib/datalog/caml_interface/datalog_caml_interface.cmx
lib/datalog/caml_interface/datalog_caml_interface.cmti
lib/datalog/caml_interface/datalog_caml_interface.cmt
lib/datalog/caml_interface/datalog_caml_interface.cmi
lib/datalog/caml_interface/datalog_caml_interface.cma
lib/datalog/caml_interface/datalog_caml_interface.a
lib/datalog/caml_interface/Datalog_caml_interface.mli
lib/datalog/caml_interface/Datalog_caml_interface.ml
lib/datalog/caml_interface
lib/datalog/bottomUp.mli
lib/datalog/bottomUp.ml
lib/datalog/Parser.mli
lib/datalog/Parser.ml
lib/datalog/META
lib/datalog/Lexer.ml
lib/datalog/AST.mli
lib/datalog/AST.ml
lib/datalog
doc/datalog/README.md
doc/datalog/LICENSE
doc/datalog
bin/datalog_cli