create solver_output in case of errors too (#570)

add option to download bitwuzla's static binaries (#566)

temporarily avoid rich 14.1.0 (#564)

feat: save timeout queries for offline solving (#552)

feat: support for TLOAD/TSTORE (#463)

test: disable gc for morpho test (#460)

fix: check infeasible errors (#445)

feat: support for snapshot cheatcodes (#427)

feat: improve logging (#418)

test: add regression tests for previous issues (#412)