6 ms·Did you use something like Z3 to solve/create the problems ?by Rexxar 2mo agoDid you use something like Z3 to solve/create the problems ?