package bitwuzla

You can search for identifiers within the package.

in-package search v0.2.0

SMT solver for AUFBVFP

Install

sha256=004ccb630a070829fedcbaf071fc50f5c7df2e5f47d2016e228ab775df6961d8

sha512=9a3d46b0a0379228a17f9d5f88cf7c409eab7c72d9296a939bc254120bc89ede9471d0930f8d2f70463e99e627649e56e54556ed2f008a3800f9387a6959674a

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.