2 search results for "author:"Antoine Miné""
Showing 1 - 2
-
APRON numerical abstract domain libraryv0.9.14LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 10 other packages25 Sep 2023
-
Implements arithmetic and logical operations over arbitrary-precision integers1.13LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 125 other packages20 Jul 2023