package cvc5
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
OCaml bindings for the cvc5 SMT solver
Install
dune-project
Dependency
Authors
Maintainers
Sources
ocaml-cvc5-v1.3.0-2.tar.gz
md5=d21b0a2c7edc45f90bae326d04b1fd9c
sha512=3b437b8c8ced4206b44073be598b6abd0b54badd4a70d6c30a3e03308cc23cfffcf7ef4e672ae6fc0228e7f99e62697ae61717b82d143560ce2babbe09133047
Description
OCaml bindings for the cvc5 SMT solver
Published: 26 Jul 2026
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.19"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page