19 search results for "author:"bobot""
Showing 1 - 19
-
Stub of the C library Antic. Algebraic number0.3.2LGPL-2.1-onlyUsed by 1 other packages13 Oct 2023
-
Stub of the C library Arb. Ball approximation0.3.2LGPL-2.1-onlyUsed by 1 other packages13 Oct 2023
-
Stub of the C library Antic. For exact computation with real and complex numbers, presently in early development0.3.2LGPL-2.1-onlyUsed by 1 other packages13 Oct 2023
-
colibri2
No documentation
A CP solver for smtlib0.4LGPL-2.1-onlyUsed by 0 other packages29 Mar 2023 -
A CP solver proved in Why30.4LGPL-2.1-onlyUsed by 0 other packages29 Mar 2023
-
A library of domains and propagators proved in Why30.4LGPL-2.1-onlyUsed by 1 other packages29 Mar 2023
-
Virtual package relying on the gcc compiler (for C)1.0GPL-2.0-or-laterUsed by 11 other packages07 Feb 2020
-
Collection of thin bindings to various low-level system API0.4.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 8 other packages20 Jun 2022
-
Floating point numbers library extracted from the Flocq Coq Library0.1LGPL-2.1Used by 2 other packages30 May 2022
-
Stub of the C library Flint20.3.2LGPL-2.1-onlyUsed by 3 other packages13 Oct 2023
-
Platform dedicated to the analysis of source code written in C28.1LGPL-2.1-onlyUsed by 4 other packages04 Mar 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018 -
OCaml library on top of Metapost0.9LGPL-2.1-onlyUsed by 2 other packages15 Feb 2021
-
Library for adding mlpost graphics in lablgtk0.9LGPL-2.1-onlyUsed by 0 other packages15 Feb 2021
-
oci
No documentation
OCI is a framework for continuous integrations and benchmarks. At the0.3LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages13 Apr 2016 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 8 other packages22 Apr 2024
-
why3-base
No documentation
Why3 environment for deductive program verification (base)0.88.3LGPL-2.1-onlyUsed by 1 other packages12 Jan 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024