CHANGES.md

0.9.0 (2026-03-23)

Update Bitwuzla sources.

Vendor submodules:

• Kissat tag:rel-4.0.4
• SymFPU commit:aeaa3fa
• Bitwuzla tag:0.9.0

0.8.2 (2025-08-12)

Update Bitwuzla sources.

Vendor submodules:

• Cadical tag:rel-2.1.2
• CryptoMiniSat tag:5.11.21
• Kissat tag:rel-4.0.1
• Bitwuzla tag:0.8.2

0.8.0 (2025-05-30)

Update Bitwuzla sources.

Vendor submodules:

• Cadical tag:rel-2.1.2
• Bitwuzla tag:0.8.0

0.7.0 (2025-04-16)

Update Bitwuzla sources.

Vendor submodules:

• Bitwuzla tag:0.7.0

0.6.1 (2024-11-14)

Update Bitwuzla sources.

Vendor submodules:

• Bitwuzla tag:0.6.1

0.6.0 (2024-11-04)

Update Bitwuzla sources.

Fix a segmentation fault that occurs during the garbage collection of node managers.

Vendor submodules:

• Bitwuzla tag:0.6.0

0.5.0 (2024-06-05)

Update Bitwuzla sources.

Vendor submodules:

• Bitwuzla tag:0.5.0

0.4.0 (2024-03-08)

Update Bitwuzla sources.

Bitwuzla_cxx should now be usable with OCaml 5 (not thoroughly tested).

Vendor submodules:

• Cadical tag:rel-1.7.4
• Bitwuzla tag:0.4.0

0.3.0 (2023-12-12)

Update Bitwuzla sources.

Bitwuzla_cxx can now be installed alongside Bitwuzla_c.

Vendor submodules:

• Bitwuzla tag:0.3.0

0.2.0 (2023-09-01)

Initial release.

OCaml binding for the SMT solver Bitwuzla.

Vendor submodules:

• Cadical commit:ca9bff0
• SymFPU commit:22d993d
• Bitwuzla tag:0.2.0