rsddversion Documentation on ocaml.org
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
