rsddversion
Bindings for RSDD
OCaml bindings for the Rust Decision Diagram (RSDD) library, generated with ocaml-rs.
Authors | Steven Holtzen <s.holtzen@northeastern.edu> and Matt Wang <mxw@cs.washington.edu> |
---|---|
License | MIT |
Published | |
Homepage | https://github.com/neuppl/rsdd-ocaml |
Issue Tracker | https://github.com/neuppl/rsdd-ocaml/issues |
Maintainer | Matt 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 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/rsdd/rsdd.0.1.0/opam |
No package is dependent