For constraints for each pass I think you can use the ‘—use-query-log=solver.smt2’ (or any other format you prefer) to log the queries sent for each path. -------------- next part -------------- HTML attachment scrubbed and removed