2 Search Results
mlcuddidl
OCaml interface to the CUDD BDD library
3.0.7
LGPL-2.1-only
Used by 1 other packages
mlgmpidl
OCaml interface to the GMP library
1.2.14
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 4 other packages