8 Search Results
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
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
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
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
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
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
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
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