11 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
bitwuzla
SMT solver for AUFBVFP
SMT solver SMT-COMP 2020 AUFBVFP
Frédéric Recoules
1.0.3
MIT
Used by 0 other packages
bitwuzla-bin
Bitwuzla SMT solver executable
SMT solver SMT-COMP 2020 AUFBVFP
Frédéric Recoules
1.0.0
MIT
Used by 0 other packages
bitwuzla-c
SMT solver for AUFBVFP (C API)
SMT solver SMT-COMP 2020 AUFBVFP
Frédéric Recoules
1.0.3
MIT
Used by 1 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
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
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
smtp
SMTP library with Unix and Lwt backends
smtp
Vincent Bernardoff <vb@luminar.eu.org>
0.3
ISC
Used by 0 other packages