Changelog

All notable changes to the smtlib-backends-z3 library will be documented in this file.

v0.3 (2023-02-03)

Added

add Z3.defaultConfig
add tests for documenting edge cases of the backends
- what happens when sending an empty command
- what happens when sending a command not producing any output
(breaking change) removed Data.Default instance of Config

Changed

make test-suite compatible with smtlib-backends-0.3
(breaking change) the Z3.new and Z3.with functions now take a Z3.Config object as argument, which one may use to set some solver options at initialization time
- add corresponding examples in the test-suite
dropped dependency on inline-c
removed Data.Default instance for Config

v0.2 (2022-12-16)

Added

add usage examples in the test-suite

Changed

make test-suite compatible with smtlib-backends-0.2