3 ms·Are you using z3? https://rise4fun.com/z3/tutorial https://rise4fun.com/z3/tutorialby brian_herman__ 8y agoAre you using z3? https://rise4fun.com/z3/tutorial https://rise4fun.com/z3/tutorial