Skip to content
forked from dangtv/BIRDS

Bidirectional transformation for Relational view update Datalog-based Strategies

License

Notifications You must be signed in to change notification settings

proof-ninja/BIRDS

 
 

Repository files navigation

BIRDS

More information about BIRDS is available at https://dangtv.github.io/BIRDS/

Usage

Install, build & test

To install BIRDS, opam must be installed.

$ opam install --deps-only .

$ dune build

$ dune test

About

Bidirectional transformation for Relational view update Datalog-based Strategies

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • OCaml 93.3%
  • Python 3.3%
  • Dockerfile 1.4%
  • Other 2.0%