4 ms·I changed the solver as it would crash when I corrected my code, and redone it with z3 online.by hokkos 7y agoI changed the solver as it would crash when I corrected my code, and redone it with z3 online.