package bitwuzla

You can search for identifiers within the package.

in-package search v0.2.0

SMT solver for AUFBVFP

Install

dune-project

Dependency

sha256=246d8a2b7074ae6873b53124091759d0b3b6146f53ad436a3941542379976160

sha512=961c6ff0c0458360c5330a45047968794e0c2b9d18ec8666aa7991a67bbf682a49ed6d7bfd551976da7e8d6e4be137b5c1cf24b449b028123dd55491fd9e9403

Bitwuzla is an SMT solver for QF_AUFBVFP problems.

Sourcemodule Once () : sig ... end

Create a new Bitwuzla session (check_sat can only be called once).

Sourcemodule Incremental () : sig ... end

Create a new Bitwuzla session in incremental mode.

Sourcemodule Unsat_core () : sig ... end

Create a new Bitwuzla session in incremental mode while enabling unsatifiable core generation.