v0.2.1

Adam Rogalewicz

@rogalew

d1ee56ce · Z3Wrapper: change of SMT variable naming to avoid problems with external solver · Nov 04, 2025

Version used for experiments in the journal version of the paper.