Tengo que escribir un algoritmo para encontrar todas las soluciones enteras a desigualdades de la forma $ax^2+by\leq c$ por ejemplo $-x^2+3y<7$ con restricciones en x e y como $15\leq x\leq 31$ y $63\leq y\leq 92$ .
Una forma posible es hacer un bucle sobre todas las x, calcular y y verificar si es entero, pero ¿hay alguna otra forma?