1 commit

Author	SHA1	Message	Date
trvon	d7258c4021	docs: Z3 multi-solver portfolio research — Bitwuzla 5.1x faster on BV ... - Bitwuzla BV solver is 5.1x faster than Z3 (SMT-COMP 2023) - ESBMC pattern: dispatch to 6 solvers, race for first result - Proposal: add --solver bitwuzla | z3 | portfolio-all flag - Expected 2-5x speedup on fold's BV-64 queries	2026-05-29 10:10:53 -04:00