18 Search Results
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
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
benchpress-server
Server and web UI for benchpress
Simon Cruanes Guillaume Bury
0.1
Used by 0 other packages
cgroups
An OCaml interface for the Linux control groups
cgroups
Guillaume Bury
0.1
BSD-3-Clause
Used by 0 other packages
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
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
mc2
A mcsat-based SMT solver in pure OCaml
sat smt mcsat
Simon Cruanes Guillaume Bury
0.1
Apache
Used by 0 other packages
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
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
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
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
printbox-html
Printbox unicode handling
print box table tree
Simon Cruanes Guillaume Bury
0.6.1
BSD-2-Clause
Used by 0 other packages
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