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

archsat
A first-order theorem prover with formal proof output
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
0.1
Used by 1 other packages
Last published 30 Jul 2020
benchpress-server
Server and web UI for benchpress
0.1
Used by 0 other packages
Last published 30 Jul 2020
cgroups
An OCaml interface for the Linux control groups
0.1
BSD-3-Clause
Used by 0 other packages
Last published 29 Jul 2015
colibri2
A CP solver for smtlib
0.3.3
LGPL-2.1
Used by 0 other packages
Last published 20 Jun 2022
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
0.1
Apache
Used by 0 other packages
Last published 18 Nov 2020
memgraph
A small library to inspect memory representation of ocaml values
memgraph_kitty
Display the representation of memory values in the Kitty terminal emulator
msat
Library containing a SAT solver that can be parametrized by a theory
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
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
printbox
Allows to print nested boxes, lists, arrays, tables in several formats
0.6.1
BSD-2-Clause
Used by 5 other packages
Last published 22 Feb 2022
printbox-html
Printbox unicode handling
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
0.6.1
BSD-2-Clause
Used by 1 other packages
Last published 22 Feb 2022