18 Search Results
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
dolmen_bin
A linter for logic languages
dolmen_loop
A tool library for automated deduction tools
dolmen_lsp
A LSP server for automated deduction languages
dolmen_model
A model checker for automated deduction languages
dolmen_type
A typechecker for automated deduction languages
mc2
A mcsat-based SMT solver in pure OCaml
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
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