20 search results for "author:"Guillaume Bury""
archsat
A first-order theorem prover with formal proof output
cgroups
An OCaml interface for the Linux control groups
dolmen
A parser library for automated deduction
0.8
BSD-2-Clause
Used by 6 other packages
Last published 08 Dec 2022
dolmen_bin
A linter for logic languages
0.8
BSD-2-Clause
Used by 0 other packages
Last published 08 Dec 2022
dolmen_loop
A tool library for automated deduction tools
0.8
BSD-2-Clause
Used by 3 other packages
Last published 08 Dec 2022
dolmen_lsp
A LSP server for automated deduction languages
0.8
BSD-2-Clause
Used by 0 other packages
Last published 08 Dec 2022
dolmen_model
A model checker for automated deduction languages
0.8
BSD-2-Clause
Used by 1 other packages
Last published 08 Dec 2022
dolmen_type
A typechecker for automated deduction languages
0.8
BSD-2-Clause
Used by 3 other packages
Last published 08 Dec 2022
mc2
A mcsat-based SMT solver in pure OCaml
memgraph
A small library to inspect memory representation of ocaml values
1.0
MIT
Used by 1 other packages
Last published 31 Jan 2023
memgraph_kitty
Display the representation of memory values in the Kitty terminal emulator
1.0
MIT
Used by 0 other packages
Last published 31 Jan 2023
msat
Library containing a SAT solver that can be parametrized by a theory
msat-bin
SAT solver binary based on the msat library
ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions
Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>
Hichem Ait El Hara <hichem@ocamlpro.com>
Steven de Oliveira <steven@ocamlpro.com>
Guillaume Bury <guillaume.bury@ocamlpro.com>
0.5
LGPL-2.1-only
Used by 0 other packages
Last published 24 Nov 2022
printbox
Allows to print nested boxes, lists, arrays, tables in several formats
printbox-html
Printbox unicode handling
printbox-text
Text renderer for printbox, using unicode edges