package cvc5
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
OCaml bindings for the cvc5 SMT solver
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-cvc5-v1.3.0.tar.gz
md5=51a6d3810d142adc3364f130f2dd5472
sha512=25d939c6e44898b25ac05a1837fdfdc4e6bc7819e8542e5c3daa80e2371c963256318c1df58c030d8731ff97a27d2967071c249128a2f866546e004016b37dc6
Description
OCaml bindings for the cvc5 SMT solver
Published: 26 Jun 2025
Dependencies (10)
-
conf-python3-tomli
build -
conf-python3-pyparsing
build -
conf-python-3-dev
build -
conf-python-3
build -
conf-cmake
build -
conf-gmp
build -
conf-g++
build -
conf-gcc
build -
ocaml
>= "4.12" -
dune
>= "3.10"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page