5 Search Results
apron
APRON numerical abstract domain library
v0.9.13
LGPL-2.1 with linking exception
Used by 9 other packages
bddapron
Logico-numerical domain(s) based on BDDs and APRON
2.3.3
LGPL-2.1-only
Used by 0 other packages
camllib
Utility Library (including various datatypes)
1.3.3
LGPL-2.1-only
Used by 1 other packages
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