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

Showing 1 - 23
  1. archsat
    Documentation
    A first-order theorem prover with formal proof output
    sat smt solver theorem prover tptp logic smtlib dimacs
    Guillaume Bury
    1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  2. benchpress
    Documentation
    Tool to run one or more logic programs, on a set of files, and collect the results
    Simon Cruanes Guillaume Bury
    0.1
    Used by 1 other packages
    30 Jul 2020
  3. benchpress-server
    Documentation
    Server and web UI for benchpress
    Simon Cruanes Guillaume Bury
    0.1
    Used by 0 other packages
    30 Jul 2020
  4. cgroups
    Documentation
    An OCaml interface for the Linux control groups
    cgroups
    Guillaume Bury
    0.1
    BSD-3-Clause
    Used by 0 other packages
    29 Jul 2015
  5. colibri2

    No documentation

    A CP solver for smtlib
    François Bobot Bruno Marre Guillaume Bury Stéphane Graham-Lengrand
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  6. 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 7 other packages
    24 Jun 2024
  7. 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
    24 Jun 2024
  8. 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 4 other packages
    24 Jun 2024
  9. 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
    24 Jun 2024
  10. 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
    24 Jun 2024
  11. 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 5 other packages
    24 Jun 2024
  12. 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
    18 Nov 2020
  13. 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
    31 Jan 2023
  14. 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
    31 Jan 2023
  15. 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
    24 Mar 2021
  16. 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
    24 Mar 2021
  17. ocplib-simplex
    Documentation
    A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
    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 1 other packages
    02 Apr 2024
  18. 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 13 other packages
    07 Oct 2024
  19. printbox-ext-plot
    Documentation
    Printbox extension for plotting
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 1 other packages
    07 Oct 2024
  20. printbox-html
    Documentation
    Printbox unicode handling
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 3 other packages
    07 Oct 2024
  21. printbox-md
    Documentation
    Printbox Markdown rendering
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 2 other packages
    07 Oct 2024
  22. printbox-text
    Documentation
    Text renderer for printbox, using unicode edges
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 11 other packages
    07 Oct 2024
  23. store
    Documentation
    Snapshottable data structures
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer Guillaume Bury <guillaume.bury@ocamlpro.com>
    0.1
    MIT
    Used by 0 other packages
    28 Aug 2024