19 search results for "author:"Guillaume Bury""

Showing 1 - 19
  1. cgroups
    Documentation
    An OCaml interface for the Linux control groups
    cgroups
    Guillaume Bury
    0.1
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  2. colibri2

    No documentation

    A CP solver for smtlib
    François Bobot Bruno Marre Guillaume Bury Stéphane Graham-Lengrand Hichem Rami Ait El Hara
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  3. dolmen
    Documentation
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 9 other packages
    Added to opam-repository
  4. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  5. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 6 other packages
    Added to opam-repository
  6. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  7. dolmen_model
    Documentation
    The Dolmen library for verifying models generated by automated theorem provers and SMT solvers
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  8. dolmen_type
    Documentation
    The Dolmen library for typechecking languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 7 other packages
    Added to opam-repository
  9. mc2
    Documentation
    A mcsat-based SMT solver in pure OCaml
    sat smt mcsat
    Simon Cruanes Guillaume Bury
    0.1
    Apache
    Used by 0 other packages
    Added to opam-repository
  10. memgraph
    Documentation
    A small library to inspect memory representation of ocaml values
    Guillaume Bury <guillaume.bury@gmail.com> Armaël Guéneau <armael.gueneau@ens-lyon.org>
    1.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  11. memgraph_kitty
    Documentation
    Display the representation of memory values in the Kitty terminal emulator
    Guillaume Bury <guillaume.bury@gmail.com> Armaël Guéneau <armael.gueneau@ens-lyon.org>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  12. msat
    Documentation
    Library containing a SAT solver that can be parametrized by a theory
    sat smt cdcl functor
    Simon Cruanes Guillaume Bury
    0.9.1
    Apache-2.0
    Used by 5 other packages
    Added to opam-repository
  13. msat-bin
    Documentation
    SAT solver binary based on the msat library
    sat
    Simon Cruanes Guillaume Bury
    0.9.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  14. ocplib-simplex
    Documentation
    A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
    algorithms
    Mohamed Iguernlala <iguer@functori.com> Hichem Ait El Hara <hichem.ait-el-hara@ocamlpro.com> Steven de Oliveira <steven.de-oliveira@ocamlpro.com> Guillaume Bury <guillaume.bury@ocamlpro.com> Pierre Villemot <pierre.villemot@ocamlpro.com>
    0.5.1
    LGPL-2.1-or-later
    Used by 2 other packages
    Added to opam-repository
  15. printbox
    Documentation
    Allows to print nested boxes, lists, arrays, tables in several formats
    print box table tree
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 14 other packages
    Added to opam-repository
  16. printbox-ext-plot
    Documentation
    Printbox extension for plotting
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  17. printbox-html
    Documentation
    Printbox unicode handling
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 3 other packages
    Added to opam-repository
  18. printbox-md
    Documentation
    Printbox Markdown rendering
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  19. printbox-text
    Documentation
    Text renderer for printbox, using unicode edges
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 12 other packages
    Added to opam-repository