OCaml logo
12 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
dolmen
A parser library for automated deduction
parser logic tptp smtlib dimacs
Guillaume Bury <guillaume.bury@gmail.com>
0.7
BSD-2-Clause
Used by 7 other packages
dolmen_bin
A linter for logic languages
logic computation automated theorem prover logic smtlib tptp
Guillaume Bury <guillaume.bury@gmail.com>
0.7
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.7
BSD-2-Clause
Used by 4 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.7
BSD-2-Clause
Used by 0 other packages
dolmen_type
A typechecker for automated deduction languages
logic type typechecking first order polymorphism
Guillaume Bury <guillaume.bury@gmail.com>
0.7
BSD-2-Clause
Used by 5 other packages
libzipperposition
Library for Zipperposition
logic unification term superposition prover
Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
2.1
BSD-2-Clause
Used by 2 other packages
logtk
Core types and algorithms for logic
logic unification term
Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
2.1
BSD-2-Clause
Used by 3 other packages
smbc
Experimental model finder/SMT solver for functional programming
logic narrowing model smt
Simon Cruanes
0.6.1
Used by 0 other packages
smtlib-utils
Parser for SMTLIB2
SMTLIB smt2 parse logic
Simon Cruanes
0.4
BSD-2-Clause
Used by 0 other packages
tip-parser
Parser for https://tip-org.github.io/format.html
TIP parse inductive logic
Simon Cruanes
0.6
Used by 1 other packages
zipperposition
A fully automatic theorem prover for typed higher-order and beyond
logic unification term superposition prover
Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
2.1
BSD-2-Clause
Used by 0 other packages