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

archsat
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
Last published 02 Sep 2019
benchpress
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
Last published 30 Jul 2020
benchpress-server
Server and web UI for benchpress
Simon Cruanes Guillaume Bury
0.1
Used by 0 other packages
Last published 30 Jul 2020
cgroups
An OCaml interface for the Linux control groups
cgroups
Guillaume Bury
0.1
BSD-3-Clause
Used by 0 other packages
Last published 29 Jul 2015
colibri2
A CP solver for smtlib
François Bobot Bruno Marre Guillaume Bury Stéphane Graham-Lengrand
0.3.3
LGPL-2.1
Used by 0 other packages
Last published 20 Jun 2022
dolmen
A parser library for automated deduction
parser logic tptp smtlib dimacs
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 6 other packages
Last published 08 Dec 2022
dolmen_bin
A linter for logic languages
logic computation automated theorem prover logic smtlib tptp
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 0 other packages
Last published 08 Dec 2022
dolmen_loop
A tool library for automated deduction tools
logic computation automated theorem prover
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 3 other packages
Last published 08 Dec 2022
dolmen_lsp
A LSP server for automated deduction languages
logic computation automated theorem prover lsp language server protocol
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 0 other packages
Last published 08 Dec 2022
dolmen_model
A model checker for automated deduction languages
logic type model modelchecking first order
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 1 other packages
Last published 08 Dec 2022
dolmen_type
A typechecker for automated deduction languages
logic type typechecking first order polymorphism
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 3 other packages
Last published 08 Dec 2022
mc2
A mcsat-based SMT solver in pure OCaml
sat smt mcsat
Simon Cruanes Guillaume Bury
0.1
Apache
Used by 0 other packages
Last published 18 Nov 2020
memgraph
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
Last published 31 Jan 2023
memgraph_kitty
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
Last published 31 Jan 2023
msat
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 4 other packages
Last published 24 Mar 2021
msat-bin
SAT solver binary based on the msat library
sat
Simon Cruanes Guillaume Bury
0.9.1
Apache-2.0
Used by 0 other packages
Last published 24 Mar 2021
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
print box table tree
Simon Cruanes Guillaume Bury
0.6.1
BSD-2-Clause
Used by 5 other packages
Last published 22 Feb 2022
printbox-html
Printbox unicode handling
print box table tree
Simon Cruanes Guillaume Bury
0.6.1
BSD-2-Clause
Used by 0 other packages
Last published 22 Feb 2022
printbox-text
Text renderer for printbox, using unicode edges
print box table tree
Simon Cruanes Guillaume Bury
0.6.1
BSD-2-Clause
Used by 1 other packages
Last published 22 Feb 2022