Bitwuzla: Optimize memory usage#647

baierd merged 3 commits intomastersosy-lab/java-smt:masterfrom

646-bitwuzla-cvc5-optimize-allsat-implementationsosy-lab/java-smt:646-bitwuzla-cvc5-optimize-allsat-implementationCopy head branch name to clipboard