Puede resolver restricciones sobre dominios finitos de enteros así como restricciones lineales racionales.