v0.2

Adam Rogalewicz

@rogalew

5f1dd5f6 · run-ext-solver script change due to the different format of cvc5 archive · Oct 16, 2025

Version used for experiments with the upcoming journal paper.