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. Sent from Mail for Windows 10 -------------- next part -------------- HTML attachment scrubbed and removed