16 Search Results
archsat
A first-order theorem prover with formal proof output
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
0.1
Used by 1 other packages
benchpress-server
Server and web UI for benchpress
0.1
Used by 0 other packages
cgroups
An OCaml interface for the Linux control groups
0.1
BSD-3-Clause
Used by 0 other packages
colibri2
A CP solver for smtlib
dolmen
A parser library for automated deduction
0.7
BSD-2-Clause
Used by 7 other packages
dolmen_loop
A tool library for automated deduction tools
0.7
BSD-2-Clause
Used by 4 other packages
dolmen_type
A typechecker for automated deduction languages
0.7
BSD-2-Clause
Used by 5 other packages
mc2
A mcsat-based SMT solver in pure OCaml
0.1
Apache
Used by 0 other packages
msat
Library containing a SAT solver that can be parametrized by a theory
0.9.1
Apache-2.0
Used by 4 other packages
msat-bin
SAT solver binary based on the msat library
0.9.1
Apache-2.0
Used by 0 other packages
printbox
Allows to print nested boxes, lists, arrays, tables in several formats
0.6.1
BSD-2-Clause
Used by 5 other packages
printbox-html
Printbox unicode handling
0.6.1
BSD-2-Clause
Used by 0 other packages
printbox-text
Text renderer for printbox, using unicode edges
0.6.1
BSD-2-Clause
Used by 1 other packages