Question d’entretien chez Atria Logic

How to wright constraint for division of two without using modulus?