5 ms·Did you use an constraint solver library like Z3 under the hood or roll your own?by gaogao 5y agoDid you use an constraint solver library like Z3 under the hood or roll your own?