rsddversion

Bindings for RSDD

OCaml bindings for the Rust Decision Diagram (RSDD) library, generated with ocaml-rs.

AuthorsSteven Holtzen <s.holtzen@northeastern.edu> and Matt Wang <mxw@cs.washington.edu>
LicenseMIT
Published
Homepagehttps://github.com/neuppl/rsdd-ocaml
Issue Trackerhttps://github.com/neuppl/rsdd-ocaml/issues
MaintainerMatt Wang <mxw@cs.washington.edu>
Dependencies
Source [http] https://github.com/neuppl/rsdd-ocaml/archive/refs/tags/0.1.0.tar.gz
md5=bf18648cd174653b40ee822aac825c7b
sha512=1d0aaf95332ab41042d5410dde76d6c70308b294cfc3f900bf14297b4d4fb8bcfefd06f295d51dde085c180e1e6fb3494622d76167035a8d14f6044ac05d4967
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/rsdd/rsdd.0.1.0/opam
No package is dependent